Konferenzschrift | Kongress
NASA formal methods : 4th international symposium ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642288906
3642288901
- Dimensions
-
24 cm
- Extent
-
XII, 466 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7226
- Keyword
-
Formale Methode
Verifikation
Testen
Automatisches Beweisverfahren
Softwareentwicklung
Systementwicklung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Goodloe, Alwyn E.
Person, Suzette
USA. National Aeronautics and Space Administration
NFM (4 : 2012 : Norfolk, Va.)
- 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, 11:52 AM 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
- Goodloe, Alwyn E.
- Person, Suzette
- USA. National Aeronautics and Space Administration
- NFM (4 : 2012 : Norfolk, Va.)
- Springer
Time of origin
- 2012
Other Objects (12)
NASA formal methods : 5th international symposium ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for components and objects : 4th international symposium ; revised lectures
Web services and formal methods : 4th international workshop ; proceedings
Formal methods : 18th international symposium ; proceedings
4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Teaching formal methods : CoLog Net/FME symposium ; proceedings
Formal methods: foundations and applications : 16th Brazilian symposium ; proceedings
Formal methods : proceedings
Formal methods : proceedings
NASA formal methods : 5th international symposium ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for components and objects : 4th international symposium ; revised lectures
Web services and formal methods : 4th international workshop ; proceedings
Formal methods : 18th international symposium ; proceedings
4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Teaching formal methods : CoLog Net/FME symposium ; proceedings
Formal methods: foundations and applications : 16th Brazilian symposium ; proceedings
Formal methods : proceedings
Formal methods : proceedings
NASA formal methods : 5th international symposium ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for components and objects : 4th international symposium ; revised lectures
Web services and formal methods : 4th international workshop ; proceedings
Formal methods : 18th international symposium ; proceedings
4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Teaching formal methods : CoLog Net/FME symposium ; proceedings
Formal methods: foundations and applications : 16th Brazilian symposium ; proceedings
Formal methods : proceedings