Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers - Lecture Notes in Computer Science - Ernie Cohen - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642541070 - January 23, 2014
In case cover and title do not match, the title is correct

Ernie Cohen
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers - Lecture Notes in Computer Science 2014 edition

Price
R 889
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Nov 3 - 9
Christmas presents can be returned until 31 January
Get notified about new Ernie Cohen releases

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 constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

361 pages, 83 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 23, 2014
ISBN13 9783642541070
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 345
Dimensions 155 × 235 × 19 mm   ·   508 g
Language French  
Editor Cohen, Ernie
Editor Rybalchenko, Andrey

More from the same publisher

See all of Ernie Cohen