Konferenzschrift | Kongress
Formal approaches to software testing : revised papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540208945
3540208941
- Dimensions
-
24 cm
- Extent
-
VIII, 266 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2931
- Classification
-
Informatik
- Keyword
-
Softwaretest
Formale Methode
Hardwareentwurf
Softwareentwicklung
Korrektheit
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2004
- Contributor
-
Petrenko, Alexandre
International Workshop on Formal Approaches to Testing of Software (3 : 2003 : Montréal)
- 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:05 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
- Petrenko, Alexandre
- International Workshop on Formal Approaches to Testing of Software (3 : 2003 : Montréal)
- Springer
Time of origin
- 2004
Other Objects (12)
Formal approaches to software testing and runtime verification : revised selected papers
Evaluation approaches in software testing
Testing techniques in software engineering : revised lecture
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Formal approaches to agent based systems : first international workshop ; revised papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Formal aspects of component software : 9th international symposium ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Evaluation approaches in software testing
Testing techniques in software engineering : revised lecture
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Formal approaches to agent based systems : first international workshop ; revised papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Formal aspects of component software : 9th international symposium ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Evaluation approaches in software testing
Testing techniques in software engineering : revised lecture
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Formal approaches to agent based systems : first international workshop ; revised papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers