Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 Edition Contributor(s): Beckert, Bernhard (Editor), Marché, Claude (Editor) |
|
ISBN: 3642180698 ISBN-13: 9783642180699 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: January 2011 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Programming Languages - General - Computers | Logic Design |
Dewey: 005.117 |
Series: Lecture Notes in Computer Science / Programming and Software |
Physical Information: 0.6" H x 6.1" W x 9.3" (0.70 lbs) 199 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |