Monografie
Abstract state machines : theory and applications ; international workshop ; proceedings
- Sprache
-
Englisch
- Umfang
-
X, 379 S.
- ISBN
-
978-3-540-67959-2
- Identifier
-
959551646
- Reihe
-
Lecture notes in computer science; Vol. 1912
Thema
Verifikation ; Model Checking ; Formale Semantik ; Compiler ; Nebenläufigkeit ; Abstrakte Zustandsmaschine ; Formale Spezifikationstechnik ; Konferenzschrift Monte Verità; Kongress Monte Verità <2000>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:25 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Programming languages and systems : 9th Asian symposium ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Semantics-directed generation of compilers and abstract machines
Theoretical aspects of computing : 6th international colloquium ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Programming languages and systems : 9th Asian symposium ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Semantics-directed generation of compilers and abstract machines
Theoretical aspects of computing : 6th international colloquium ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Programming languages and systems : 9th Asian symposium ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Semantics-directed generation of compilers and abstract machines
Theoretical aspects of computing : 6th international colloquium ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Automated technology for verification and analysis : second international conference : proceedings