Konferenzschrift | Kongress
Abstract state machines, alloy, B and Z : second international conference ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642118104
- Maße
-
24 cm
- Umfang
-
XIV, 416 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 5977
- Schlagwort
-
Abstrakte Zustandsmaschine
B-Methode
Z
Alloy
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, NY
- (wer)
-
Springer
- (wann)
-
2010
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:07 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Frappier, Marc
- ABZ (2 : 2010 : Orford, Québec)
- Springer
Entstanden
- 2010
Ähnliche Objekte (12)
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
Abstract state machines, B and Z : first international conference ; proceedings
Concurrent abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Model checking abstract state machines
Biomimetic and biohybrid systems : second international conference, living machines 2013 ; proceedings
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Formal Product Families for Abstract Machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
Abstract state machines, B and Z : first international conference ; proceedings
Concurrent abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Model checking abstract state machines
Biomimetic and biohybrid systems : second international conference, living machines 2013 ; proceedings
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Formal Product Families for Abstract Machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
Abstract state machines, B and Z : first international conference ; proceedings
Concurrent abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Model checking abstract state machines
Biomimetic and biohybrid systems : second international conference, living machines 2013 ; proceedings
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Formal Product Families for Abstract Machines
An Introduction to Abstract State Machines