Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Abstract State Machines, Alloy, B, TLA, VDM, and Z

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

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

enthalten in Theoretical Computer Science and General Issues-Reihe

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

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. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319912707
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 432
  • Veröffentlicht:
  • 8. Mai 2018
  • Ausgabe:
  • 12018
  • Gewicht:
  • 682 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

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

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. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Kund*innenbewertungen von Abstract State Machines, Alloy, B, TLA, VDM, and Z



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Abstract State Machines, Alloy, B, TLA, VDM, and Z ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.