- Language
-
Englisch
- Extent
-
XIV, 496 S.
- ISBN
-
978-3-540-29797-0
- Identifier
-
976632691
- Series
-
Lecture notes in computer science; Vol. 3785
Subject
Softwarespezifikation ; Softwareentwicklung ; Verifikation ; Formale Methode ; Programmanalyse ; Model Checking ; UML ; Konferenzschrift Manchester; Kongress Manchester <2005>
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:38 PM CEST
Object type
- Monografie
Other Objects (12)
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods in computer aided design : third international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Formal methods : proceedings
Formal methods and software engineering : proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods in computer aided design : third international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Formal methods : proceedings
Formal methods and software engineering : proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods in computer aided design : third international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Formal methods : proceedings
Formal methods and software engineering : proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings