Home / All Books / Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Book PDf: Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Name: Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Rating: 4.8 (11 reviews)
Author: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)

Download Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Author: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)

ISBN: 9783642180699

Publisher: Springer-Verlag Berlin Heidelberg

Year: 2011

Publisher Edition (Original Quality)

User Rating: (0.0):

File Size

2.03 MB

Pages

211.0

Price: 6.99€

Description

Introduction to the book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers The book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers through the Cyber Uni website.

Best Selling Books