Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Programming and Software Engineering - Bernhard Beckert - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642180699 - January 14, 2011
In case cover and title do not match, the title is correct

Bernhard Beckert
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Programming and Software Engineering 2011 edition

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new Bernhard Beckert 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 book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.

209 pages, 44 black & white illustrations, 1 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 14, 2011
ISBN13 9783642180699
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 199
Dimensions 155 × 235 × 15 mm   ·   317 g
Language French  
Editor Beckert, Bernhard
Editor Marche, Claude

More by Bernhard Beckert

Show all

More from the same publisher

See all of Bernhard Beckert