Abstract state machines, alloy, B, TLA, VDM, and Z (ABZ 2014) selected and extended papers from ABZ 2014

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ABZ (VerfasserIn)
Weitere Verfasser: Ait Ameur, Yamine (HerausgeberIn), Schewe, Klaus-Dieter (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam Elsevier 2016
Schriftenreihe:Science of computer programming volume 131 (1 December 2016)
Schlagworte:
Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Aus dem Vorwort: "An early version of each paper was presented at the 2014 edition of the ABZ conference held in Toulouse on June 4-6, 2014". - Literaturangaben
Beschreibung:150 Seiten
Illustrationen