Monografie
Compositionality : the significant difference ; international symposium ; revised lectures
- Sprache
-
Englisch
- Umfang
-
646 S.
- ISBN
-
978-3-540-65493-3
- Identifier
-
955277817
- Reihe
-
Lecture notes in computer science; Vol. 1536
Thema
Programmierung ; Dekomposition ; Abstraktion ; Formale Methode ; Nebenläufigkeit ; Model Checking ; Logischer Schluss ; Verifikation ; Konferenzschrift Malente; Kongress Malente <1997>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:52 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Automated technology for verification and analysis : 8th international symposium ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Automated technology for verification and analysis : 8th international symposium ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Automated technology for verification and analysis : 8th international symposium ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers