Natarajan Shankar
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science Natarajan Shankar 2008 edition

Name: Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science
Price: 8573 JPY
Availability: OutOfStock
Author: Natarajan Shankar

価格

¥ 8.573

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月23日 - 年11月4日

Natarajan Shankar の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science

Natarajan Shankar

2008 edition

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

275 pages, Illustrations

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2008年9月22日
ISBN13	9783540878728
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	263
寸法	155 × 235 × 15 mm · 430 g
言語	フランス語
編集者	Shankar, Natarajan
編集者	Woodcock, Jim