Konferenzschrift | Kongress
Tests and proofs : third international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642029486
- Dimensions
-
24 cm
- Extent
-
X, 168 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5668
- Keyword
-
Softwareentwicklung
Softwaretest
Korrektheit
Beweis
Softwaresystem
Model Checking
Formale Methode
Softwareentwicklung
Softwaretest
Korrektheit
Beweis
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
-
Dubois, Catherine
TAP (3 : 2009 : Zürich)
- 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, 1:39 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
- Kongress
Associated
- Dubois, Catherine
- TAP (3 : 2009 : Zürich)
- Springer
Time of origin
- 2009
Other Objects (12)
Tests and proofs : second international conference ; proceedings
Tests and proofs : 4th international conference ; proceedings
Tests and proofs : 7th international conference ; proceedings
Tests and proofs : 5th international conference ; proceedings
Tests and proofs : 6th international conference ; proceedings
Certified programs and proofs : first international conference ; proceedings
Certified programs and proofs : second international conference ; proceedings
Programs, proofs, processes : proceedings
Social robotics : third international conference ; proceedings
Digital heritage : third international conference ; proceedings
Entertainment computing : third international conference ; proceedings
Hybrid learning : third international conference ; proceedings
Tests and proofs : second international conference ; proceedings
Tests and proofs : 4th international conference ; proceedings
Tests and proofs : 7th international conference ; proceedings
Tests and proofs : 5th international conference ; proceedings
Tests and proofs : 6th international conference ; proceedings
Certified programs and proofs : first international conference ; proceedings
Certified programs and proofs : second international conference ; proceedings
Programs, proofs, processes : proceedings
Social robotics : third international conference ; proceedings
Digital heritage : third international conference ; proceedings
Entertainment computing : third international conference ; proceedings
Hybrid learning : third international conference ; proceedings
Tests and proofs : second international conference ; proceedings
Tests and proofs : 4th international conference ; proceedings
Tests and proofs : 7th international conference ; proceedings
Tests and proofs : 5th international conference ; proceedings
Tests and proofs : 6th international conference ; proceedings
Certified programs and proofs : first international conference ; proceedings
Certified programs and proofs : second international conference ; proceedings
Programs, proofs, processes : proceedings
Social robotics : third international conference ; proceedings
Digital heritage : third international conference ; proceedings
Entertainment computing : third international conference ; proceedings