Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Salvato in:
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Altri autori: | |
| Natura: | eBook |
| Lingua: | English |
| Pubblicazione: |
Berlin, Heidelberg
Springer
2010.
|
| Serie: | Lecture Notes in Computer Science,
6143 |
| Soggetti: | |
| Accesso online: | Click here to view the full text content |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|
Lascia un commento!