Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers - Communications in Computer - Reiner H Hnle - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642347801 - October 12, 2012
In case cover and title do not match, the title is correct

Reiner H Hnle
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers - Communications in Computer 2012 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 27 - 31
Get notified about new Reiner H Hnle 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

Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria.

272 pages, 94 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 12, 2012
ISBN13 9783642347801
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 261
Dimensions 155 × 235 × 14 mm   ·   390 g
Language German  
Editor Hahnle, Reiner
Editor Knoop, Jens
Editor Margaria, Tiziana
Editor Schreiner, Dietmar
Editor Steffen, Bernhard

More from the same publisher

See all of Reiner H Hnle ( e.g. Paperback Book )