Konferenzschrift | Kongress
Abstract state machines : theory and applications ; international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540679592
3540679596
- Dimensions
-
24 cm
- Extent
-
X, 379 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1912
- Keyword
-
Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine
Verifikation
Model Checking
Abstrakte Zustandsmaschine
Formale Semantik
Compiler
Abstrakte Zustandsmaschine
Nebenläufigkeit
Abstrakte Zustandsmaschine
Formale Spezifikationstechnik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2000
- Contributor
- 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:58 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
- Gurevich, Yuri
- ASM (2000 : Monte Verità)
- Springer
Time of origin
- 2000
Other Objects (12)
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Abstract state machines, B and Z : first international conference ; proceedings
Concurrent abstract state machines
Abstract state machines, alloy, B and Z : second international conference ; proceedings
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Model checking abstract state machines
Pattern recognition with support vector machines : first international workshop ; proceedings
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Intuitionistic modal logic and applications : workshop proceedings
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Abstract state machines, B and Z : first international conference ; proceedings
Concurrent abstract state machines
Abstract state machines, alloy, B and Z : second international conference ; proceedings
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Model checking abstract state machines
Pattern recognition with support vector machines : first international workshop ; proceedings
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Intuitionistic modal logic and applications : workshop proceedings
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Abstract state machines, B and Z : first international conference ; proceedings
Concurrent abstract state machines
Abstract state machines, alloy, B and Z : second international conference ; proceedings
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Model checking abstract state machines
Pattern recognition with support vector machines : first international workshop ; proceedings
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic