Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Berlín, Alemania :
Springer,
2008, c2008
|
| Σειρά: | (Lecture Notes in Computer Science)
|
| Διαθέσιμο Online: | Ver documento en línea |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια: Tests and Proofs :
- Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, 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 : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
- Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
- Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /