- Sprache
-
Englisch
- Umfang
-
XIV, 496 S.
- ISBN
-
978-3-540-29797-0
- Identifier
-
976632691
- Reihe
-
Lecture notes in computer science; Vol. 3785
Thema
Softwarespezifikation ; Softwareentwicklung ; Verifikation ; Formale Methode ; Programmanalyse ; Model Checking ; UML ; Konferenzschrift Manchester; Kongress Manchester <2005>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:38 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (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