Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

Author
Yannis Smaragdakis, Christoph Csallner (auth.), Yuri Gurevich, Bertrand Meyer (eds.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
2007
Page
217
ISBN
3540737693,9783540737698
File Type
pdf
File Size
4.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book