Konferenzschrift | Kongress
Formal methods and software engineering : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642169007
- Dimensions
-
24 cm
- Extent
-
XIV, 712 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6447
- Keyword
-
Softwareentwicklung
Formale Methode
Entscheidungsverfahren
Programmverifikation
Programmanalyse
Softwaretest
Model Checking
Serviceorientierte Architektur
Web Services
Leistungsbewertung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Contributor
-
Dong, Jin Song
Zhu, Huibiao
International Conference on Formal Engineering Methods (12 : 2010 : Schanghai)
- 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:21 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
- Dong, Jin Song
- Zhu, Huibiao
- International Conference on Formal Engineering Methods (12 : 2010 : Schanghai)
- Springer
Time of origin
- 2010
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