Konferenzschrift | Kongress
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642308840
3642308848
- Dimensions
-
24 cm
- Extent
-
XV, 378 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7316
- Keyword
-
Abstrakte Zustandsmaschine
B-Methode
Z
Alloy
VDM
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Derrick, John
Fitzgerald, John S.
Gnesi, Stefania
Khurshid, Sarfraz
Leuschel, Michael
Reeves, Steve
Riccobene, Elvinia
ABZ (3. : 2012 : Pisa)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:36 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Derrick, John
- Fitzgerald, John S.
- Gnesi, Stefania
- Khurshid, Sarfraz
- Leuschel, Michael
- Reeves, Steve
- Riccobene, Elvinia
- ABZ (3. : 2012 : Pisa)
- Springer
Time of origin
- 2012
Other Objects (12)
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
VDM: "Heating Element and Resistance Alloys from VDM" (Druck, 224 S.)
Abstract state machines, alloy, B and Z : second international conference ; proceedings
Concurrent abstract state machines
Diagrams: tropes, tools, abstract machines
Model checking abstract state machines
Verification of abstract state machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Formal Product Families for Abstract Machines
Abstract State Machines for the Classroom
An Introduction to Abstract State Machines
Oxidation Behavior of the Polycrystalline Ni-Base Superalloy VDM® Alloy 780
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
VDM: "Heating Element and Resistance Alloys from VDM" (Druck, 224 S.)
Abstract state machines, alloy, B and Z : second international conference ; proceedings
Concurrent abstract state machines
Diagrams: tropes, tools, abstract machines
Model checking abstract state machines
Verification of abstract state machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Formal Product Families for Abstract Machines
Abstract State Machines for the Classroom
An Introduction to Abstract State Machines
Oxidation Behavior of the Polycrystalline Ni-Base Superalloy VDM® Alloy 780
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
VDM: "Heating Element and Resistance Alloys from VDM" (Druck, 224 S.)
Abstract state machines, alloy, B and Z : second international conference ; proceedings
Concurrent abstract state machines
Diagrams: tropes, tools, abstract machines
Model checking abstract state machines
Verification of abstract state machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Formal Product Families for Abstract Machines
Abstract State Machines for the Classroom
An Introduction to Abstract State Machines