Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Berlín, Alemania :
Springer,
2010, c2010
|
| Cyfres: | (Lecture Notes in Computer Science)
|
| Mynediad Ar-lein: | Ver documento en línea |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg: 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 : 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 /
- Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
- Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /