Monografie
Structured object-oriented formal language and method : second international workshop ; revised selected papers
- Language
-
Englisch
- Extent
-
X, 147 S.
- ISBN
-
978-3-642-39276-4
- Identifier
-
1035341913
- Series
-
Lecture notes in computer science; 7787
Subject
SOFL ; Softwareentwicklung ; Softwaretest ; Formale Spezifikationstechnik ; Model Checking ; Konferenzschrift Kioto; Kongress Kioto <2012>
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:44 AM CEST
Object type
- Monografie
Other Objects (12)
Formal methods and software engineering : proceedings
Developments in language theory : 12th international conference ; proceedings
Computational geometry and graph theory : international conference ; revised selected papers
Tests and proofs : second international conference ; proceedings
Tests and proofs : 4th international conference ; proceedings
Massively multi-agent systems I : first international workshop ; revised selected and invited papers
Social informatics : revised selected papers
Formal methods and software engineering : proceedings
Formal methods : proceedings
Tests and proofs : third international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Programming languages and systems : 10th Asian symposium ; proceedings
Formal methods and software engineering : proceedings
Developments in language theory : 12th international conference ; proceedings
Computational geometry and graph theory : international conference ; revised selected papers
Tests and proofs : second international conference ; proceedings
Tests and proofs : 4th international conference ; proceedings
Massively multi-agent systems I : first international workshop ; revised selected and invited papers
Social informatics : revised selected papers
Formal methods and software engineering : proceedings
Formal methods : proceedings
Tests and proofs : third international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Programming languages and systems : 10th Asian symposium ; proceedings
Formal methods and software engineering : proceedings
Developments in language theory : 12th international conference ; proceedings
Computational geometry and graph theory : international conference ; revised selected papers
Tests and proofs : second international conference ; proceedings
Tests and proofs : 4th international conference ; proceedings
Massively multi-agent systems I : first international workshop ; revised selected and invited papers
Social informatics : revised selected papers
Formal methods and software engineering : proceedings
Formal methods : proceedings
Tests and proofs : third international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers