Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Verification of Object-Oriented Software
. Ed(S): Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian
€ 58.70
FREE Delivery in Ireland
Description for Formal Verification of Object-Oriented Software
Paperback. 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. Editor(s): Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 261 pages, 34 black & white illustrations, biography. BIC Classification: UMX; UMZT; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
261
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
251
Place of Publication
Berlin, Germany
ISBN
9783642317613
SKU
V9783642317613
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Verification of Object-Oriented Software