Konferenzschrift | Kongress
Verified software : theories, tools, experiments : 5th international conference ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642541070
3642541070
- Dimensions
-
24 cm
- Extent
-
XVI, 343 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8164
- Keyword
-
Verifikation
Formale Methode
Programmverifikation
Programmanalyse
Softwarespezifikation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Heidelberg, New York, NY, Dordrecht, London, Berlin
- (who)
-
Springer
- (when)
-
2014
- Contributor
-
Cohen, Ernie
Rybalchenko, Andrey
VSTTE (5 : 2013 : Menlo Park, 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:03 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
- Cohen, Ernie
- Rybalchenko, Andrey
- VSTTE (5 : 2013 : Menlo Park, Calif.)
- Springer
Time of origin
- 2014
Other Objects (12)
Resource discovery : 5th international workshop ; revised selected papers
Quantum interaction : 5th international symposium ; revised selected papers
Software language engineering : 5th international conference ; revised selected papers
Privacy enhancing technologies : 5th international workshop ; revised selected papers
Pairing-based cryptography : 5th international conference ; revised selected papers
Information security applications : 5th international workshop ; revised selected papers
Trustworthly global computing : 5th international symposium ; revised selected papers
Fundamentals of software engineering : 5th international conference ; revised selected papers
Information security and cryptology : 5th international conference ; revised selected papers
Software and data technologies : 5th international conference ; revised selected papers
Agents and artificial intelligence : 5th international conference ; revised selected papers
Technologies for E-services : 5th international workshop ; revised selected papers
Resource discovery : 5th international workshop ; revised selected papers
Quantum interaction : 5th international symposium ; revised selected papers
Software language engineering : 5th international conference ; revised selected papers
Privacy enhancing technologies : 5th international workshop ; revised selected papers
Pairing-based cryptography : 5th international conference ; revised selected papers
Information security applications : 5th international workshop ; revised selected papers
Trustworthly global computing : 5th international symposium ; revised selected papers
Fundamentals of software engineering : 5th international conference ; revised selected papers
Information security and cryptology : 5th international conference ; revised selected papers
Software and data technologies : 5th international conference ; revised selected papers
Agents and artificial intelligence : 5th international conference ; revised selected papers
Technologies for E-services : 5th international workshop ; revised selected papers
Resource discovery : 5th international workshop ; revised selected papers
Quantum interaction : 5th international symposium ; revised selected papers
Software language engineering : 5th international conference ; revised selected papers
Privacy enhancing technologies : 5th international workshop ; revised selected papers
Pairing-based cryptography : 5th international conference ; revised selected papers
Information security applications : 5th international workshop ; revised selected papers
Trustworthly global computing : 5th international symposium ; revised selected papers
Fundamentals of software engineering : 5th international conference ; revised selected papers
Information security and cryptology : 5th international conference ; revised selected papers
Software and data technologies : 5th international conference ; revised selected papers
Agents and artificial intelligence : 5th international conference ; revised selected papers