CD-ROM
Abstract state machines : a method for high level system design and analysis ; with 19 tables
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
3540007024
9783642621161
- Dimensions
-
24 cm
- Extent
-
X, 438 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 369 - 428
- Keyword
-
Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2003
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
30.01.2025, 2:27 PM CET
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
- CD-ROM
Associated
- Börger, Egon
- Stärk, Robert F.
- Springer
Time of origin
- 2003
Other Objects (12)
![Contact dermatitis : with 180 tables ; [CD-ROM included]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Contact dermatitis : with 180 tables ; [CD-ROM included]
Springer handbook of mechanical engineering : with DVD-ROM and 402 tables
NeuroPET : positron emission tomography in neuroscience and clinical neurology ; with 11 tables ; [with CD-ROM]
Observation of the earth and its environment : survey of missions and sensors ; with 857 tables ; [with CD-ROM]
Concurrent abstract state machines
Verification of abstract state machines
Model checking abstract state machines
Cardiovascular magnetic resonance : with 30 tables
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Encyclopedic reference of cancer : with 64 tables
Stroke MRI : with 13 tables ; [CD-ROM included]
Contact dermatitis : with 180 tables ; [CD-ROM included]
Springer handbook of mechanical engineering : with DVD-ROM and 402 tables
NeuroPET : positron emission tomography in neuroscience and clinical neurology ; with 11 tables ; [with CD-ROM]
Observation of the earth and its environment : survey of missions and sensors ; with 857 tables ; [with CD-ROM]
Concurrent abstract state machines
Verification of abstract state machines
Model checking abstract state machines
Cardiovascular magnetic resonance : with 30 tables
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Encyclopedic reference of cancer : with 64 tables
Stroke MRI : with 13 tables ; [CD-ROM included]
Contact dermatitis : with 180 tables ; [CD-ROM included]
Springer handbook of mechanical engineering : with DVD-ROM and 402 tables
NeuroPET : positron emission tomography in neuroscience and clinical neurology ; with 11 tables ; [with CD-ROM]
Observation of the earth and its environment : survey of missions and sensors ; with 857 tables ; [with CD-ROM]
Concurrent abstract state machines
Verification of abstract state machines
Model checking abstract state machines
Cardiovascular magnetic resonance : with 30 tables
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Encyclopedic reference of cancer : with 64 tables