|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Verification of Object-Oriented Software - International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Loot Price: R1,404
Discovery Miles 14 040
|
|
|
Formal Verification of Object-Oriented Software - International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Series: Programming and Software Engineering, 7421
Expected to ship within 10 - 15 working days
|
This book presents the thoroughly refereed post-conference
proceedings of the International Conference on Formal Verification
of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in
October 2011 - organised by COST Action IC0701. The 10 revised full
papers presented together with 5 invited talks were carefully
reviewed and selected from 19 submissions. Formal software
verification has outgrown the area of academic case studies, and
industry is showing serious interest. The logical next goal is the
verification of industrial software products. Most programming
languages used in industrial practice are object-oriented, e.g.
Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and
interactions among researchers in this area.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
