Konferenzschrift
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642340314
3642340318
- Extent
-
XVI, 361 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
- Bibliographic citation
-
Leveraging applications of formal methods, verification and validation
Lecture notes in computer science ; 7610
- Classification
-
Informatik
Ingenieurwissenschaften und Maschinenbau
Medizin, Gesundheit
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:09 PM CEST
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
Associated
- Springer
Time of origin
- 2012
Other Objects (12)
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Intelligent robotics and applications, Pt. 3
Information computing and applications, Pt. 2
Information computing and applications, Pt. 1
Information computing and applications, Pt. 2
Information computing and applications, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Intelligent robotics and applications, Pt. 3
Information computing and applications, Pt. 2
Information computing and applications, Pt. 1
Information computing and applications, Pt. 2
Information computing and applications, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Intelligent robotics and applications, Pt. 3
Information computing and applications, Pt. 2
Information computing and applications, Pt. 1
Information computing and applications, Pt. 2