Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
Online
Monographie, Konferenzschrift, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Bernhard Beckert, Reiner Hähnle |
Autor/in / Beteiligte Person: | Beckert, Bernhard ; Hähnle, Reiner |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008 |
Medientyp: | Monographie, Konferenzschrift |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540791249 |
DOI: | 10.1007/978-3-540-79124-9 |
Schlagwort: |
|
Sonstiges: |
|