Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)
Der Band der fünften ABZ-Konferenz aus Linz (23.–27. Mai 2016) bietet 426 Seiten mit aktuellen Forschungsbeiträgen zu ASM, Alloy, B, TLA+, VDM ...
Gesponsert
Medimops DE
52.94 EUR
Preis aktualisiert am: 16-06-2026 12:35:19
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 19:20:30
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 16-06-2026 02:21:12
Allgemein
Marke
Michael Butler
ISBN
Michael Butler 3319335995
