Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Bernhard Beckert, Reiner Hähnle (edición)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 2008, c2008
Ráidu:(Lecture Notes in Computer Science)
Liŋkkat:Ver documento en línea
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!