Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Autor:
Bernhard Beckert, Reiner Hähnle
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
276.90
lei
This book constitutes the refereed proceedings of the Second International Conference on Tests and P...
