Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Verification of Object-Oriented Software
. Ed(S): Beckert, Bernhard; Marche, Claude
€ 64.81
FREE Delivery in Ireland
Description for Formal Verification of Object-Oriented Software
Paperback. Editor(s): Beckert, Bernhard; Marche, Claude. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 199 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMN; UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 318.
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.
The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 2010 aimed to foster ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
199
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
199
Place of Publication
Berlin, Germany
ISBN
9783642180699
SKU
V9783642180699
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Formal Verification of Object-Oriented Software