Konferenzschrift | Kongress
NASA formal methods : 5th international symposium ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642380877
3642380875
- Dimensions
-
24 cm
- Extent
-
XXIV, 486 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7871
- Keyword
-
Formale Methode
Programmverifikation
Model Checking
Automatisches Beweisverfahren
Softwareentwicklung
Softwarespezifikation
Systementwicklung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- Contributor
-
Brat, Guillaume
Rungta, Neha
Venet, Arnaud
USA. National Aeronautics and Space Administration
NFM (5 : 2013 : Moffett Field, Calif.)
- 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:11 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
- Brat, Guillaume
- Rungta, Neha
- Venet, Arnaud
- USA. National Aeronautics and Space Administration
- NFM (5 : 2013 : Moffett Field, Calif.)
- Springer
Time of origin
- 2013
Other Objects (12)
NASA formal methods : 4th international symposium ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for components and objects : 5th international symposium ; revised lectures
Integrated formal methods : 5th international conference proceedings
5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Formal methods in computer aided design : 5th international conference ; proceedings
Formal methods : 18th international symposium ; proceedings
Web services and formal methods : 5th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; 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
NASA formal methods : 4th international symposium ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for components and objects : 5th international symposium ; revised lectures
Integrated formal methods : 5th international conference proceedings
5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Formal methods in computer aided design : 5th international conference ; proceedings
Formal methods : 18th international symposium ; proceedings
Web services and formal methods : 5th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; 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
NASA formal methods : 4th international symposium ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for components and objects : 5th international symposium ; revised lectures
Integrated formal methods : 5th international conference proceedings
5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Formal methods in computer aided design : 5th international conference ; proceedings
Formal methods : 18th international symposium ; proceedings
Web services and formal methods : 5th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Teaching formal methods : CoLog Net/FME symposium ; proceedings