Konferenzschrift | Kongress
Formal methods and software engineering : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642103728
- Dimensions
-
24 cm
- Extent
-
XIV, 758 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5885
- Keyword
-
Softwareentwicklung
Formale Methode
Softwaretest
Formale Methode
Softwareentwicklung
Verifikation
Formale Methode
Programmanalyse
Model Checking
Systementwicklung
Zuverlässigkeit
Fehlertoleranz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
-
Breitman, Karin
International Conference on Formal Engineering Methods (11 : 2009 : Rio de Janeiro)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:10 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Breitman, Karin
- International Conference on Formal Engineering Methods (11 : 2009 : Rio de Janeiro)
- Springer
Time of origin
- 2009
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 and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Formal foundations for software engineering methods
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 and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Formal foundations for software engineering methods
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 and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Software engineering and formal methods : 10th international conference ; proceedings