Summary goes here
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | Englisch |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 4ccdd07a-e0c1-4abc-a94f-5cf63a587352 |
| isbn | 9783642139772 3642139779 |
| issn | |
| language | eng |
| physical | 1 online resource (x, 182 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2010 |
| publishDate | ©2010 |
| subjects | |
| title | Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.). |
| topic | Computer software Computer software Formal methods (Computer science) Software Validation Software Logiciels Méthodes formelles (Informatique) Logiciels Logiciels. software. Informatique. Computer software Computer software Formal methods (Computer science) Softwareentwicklung Softwaretest Beweis Softwaresystem Model Checking Formale Methode Málaga <2010> Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |