Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings

Abstract state machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ABZ (VerfasserIn)
Weitere Verfasser: Butler, Michael (HerausgeberIn), Schewe, Klaus-Dieter (HerausgeberIn), Mashkoor, Atif (HerausgeberIn), Biro, Miklos (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham, Heidelberg Springer 2016
Schriftenreihe:Lecture notes in computer science 9675
Schlagworte:
Formal methods (Computer science) > Congresses > Programming languages (Electronic computers) > Machine theory > Konferenzschrift > Logischer Entwurf > Computersimulation
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Umschlagtext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and author index
Current copyright fee: GBP22.19
Beschreibung:XXI, 426 Seiten
Diagramme, Illustrationen
24 cm
ISBN:9783319335995
978-3-319-33599-5
3319335995
3-319-33599-5