- ホーム
- > 洋書
- > 英文書
- > Computer / Languages
Full Description
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 in Prato, Italy.



