Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
2007, c2007
|
| Col·lecció: | (Lecture Notes in Computer Science)
|
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Tests and Proofs :
- Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
- Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
- Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
- Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
- Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
- Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /