• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Abstract State Machines, Alloy, B, TLA, VDM, and Z

      6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

      AvMichael Butler,Alexander Raschke

      Häftad, Engelska, 2018

      Del 10817 i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

      Produktinformation

      • Utgivningsdatum:2018-05-08
      • Mått:155 x 235 x 25 mm
      • Vikt:674 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:432
      • Upplaga:18001
      • Förlag:Springer International Publishing AG
      • ISBN:9783319912707

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Artificiell intelligens inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.- Refinement.- Hybrid ERTMS Case Study.- Short Papers.
      Hoppa över listan

      Du kanske också är intresserad av

      Klaus Reichl, Thai Son Hoang, Alexander Raschke, Michael Butler - Abstract State Machines, Alloy, B, TLA, VDM, and Z, E-bok

      Abstract State Machines, Alloy, B, TLA, VDM, and Z

      Klaus Reichl, Thai Son Hoang, Alexander Raschke, Michael Butler

      E-bok
      2018

      732 kr

      Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe - Logic, Computation and Rigorous Methods, Häftad
      Del 12750

      Logic, Computation and Rigorous Methods

      Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe

      Häftad, 2021

      567 kr

      Alexander Raschke, Egon Borger - Modeling Companion for Software Practitioners, E-bok

      Modeling Companion for Software Practitioners

      Alexander Raschke, Egon Borger

      E-bok
      2018

      896 kr

      Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim - Rigorous Methods in Theory and Practice, Häftad
      Del 16580

      Rigorous Methods in Theory and Practice

      Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim

      Häftad, 2026

      741 kr

      Alexander Raschke, Dominique Méry - Rigorous State-Based Methods, Häftad
      Del 12709

      Rigorous State-Based Methods

      Alexander Raschke, Dominique Méry

      Häftad, 2021

      679 kr

      Dominique Mery, Alexander Raschke - Rigorous State-Based Methods, E-bok

      Rigorous State-Based Methods

      Dominique Mery, Alexander Raschke

      E-bok
      2021

      894 kr

      Bernhard Thalheim, Klaus-Dieter Schewe, Elvinia Riccobene, Alexander Raschke - Rigorous Methods in Theory and Practice, E-bok

      Rigorous Methods in Theory and Practice

      Bernhard Thalheim, Klaus-Dieter Schewe, Elvinia Riccobene, Alexander Raschke

      E-bok
      2026

      975 kr

      Frank Houdek, Dominique Mery, Alexander Raschke - Rigorous State-Based Methods, E-bok

      Rigorous State-Based Methods

      Frank Houdek, Dominique Mery, Alexander Raschke

      E-bok
      2020

      732 kr

      Klaus-Dieter Schewe, Elvinia Riccobene, Alexander Raschke - Logic, Computation and Rigorous Methods, E-bok

      Logic, Computation and Rigorous Methods

      Klaus-Dieter Schewe, Elvinia Riccobene, Alexander Raschke

      E-bok
      2021

      710 kr

      Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners, Häftad

      Modeling Companion for Software Practitioners

      Egon Börger, Alexander Raschke

      Häftad, 2018

      733 kr