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!

Keine Ergebnisse!