Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science - Natarajan Shankar - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540878728 - September 22, 2008
In case cover and title do not match, the title is correct

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

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 22, 2008
ISBN13 9783540878728
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 263
Dimensions 155 × 235 × 15 mm   ·   430 g
Language French  
Editor Shankar, Natarajan
Editor Woodcock, Jim

Mere med samme udgiver

See all of Natarajan Shankar ( e.g. Paperback Book )