ブクログ >
BernhardBeckert >
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering) (Lecture Notes in Computer Science, 4966)

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering) (Lecture Notes in Computer Science, 4966)の詳細を見る

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering) (Lecture Notes in Computer Science, 4966)

制作 : BernhardBeckert

Springer (2008年4月28日発売)

0.00

(0)
(0)
(0)
(0)
(0)

本棚登録 : 0人

感想 : 0件

サイトに貼り付ける

本ページはアフィリエイトプログラムによる収益を得ています

Amazon.co.jp ・洋書 (208ページ)
/ ISBN・EAN: 9783540791232

×