Summary goes here
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | inglese |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| 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. |