Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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. |