<電子ブック>
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
本文を見る Full text available from Springer Computer Science eBooks 2010 English/International

詳細

レコードID
刊行頻度
主題
SSID
LCCN
NBN
eISBN
注記
登録日 2020.06.27
更新日 2021.06.23