Konferenzschrift | Kongress
Formal methods and software engineering : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642245589
3642245587
- Dimensions
-
24 cm
- Extent
-
XIV, 670 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6991
- Keyword
-
Softwareentwicklung
Formale Methode
Formale Spezifikationstechnik
Programmverifikation
Programmanalyse
Softwaretest
Model Checking
Verfeinerung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2011
- Contributor
-
Qin, Shengchao
Qiu, Zongyan
International Conference on Formal Engineering Methods (13 : 2011 : Durham)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 01.01.2025, 3:32 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
- Qin, Shengchao
- Qiu, Zongyan
- International Conference on Formal Engineering Methods (13 : 2011 : Durham)
- Springer
Time of origin
- 2011
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