• Abstract State Machines, Alloy...
  • Bestand

Treffer: Abstract State Machines, Alloy, B and Z

Titel:
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Beteiligt:
Frappier, Marc (Herausgeber); Glässer, Uwe (Herausgeber); Khurshid, Sarfraz (Herausgeber); Laleau, Régine (Herausgeber); Reeves, Steve (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 416 Seiten) : 95 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5977
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Abstract State Machines, Alloy, B and Z. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642118104
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642118111 ; 3642118119 ; 978--364211810-4 (Sekundärausgabe) ; 978--364211812-8 (Sekundärausgabe)
DOI:
10.1007/978-3-642-11811-1

Zusatz-Informationen

Zusatz-Funktionen