Contract Abstracts
Download Contract Abstracts full books in PDF, epub, and Kindle. Read online free Contract Abstracts ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Formal Verification of Object-Oriented Software
Author | : Bernhard Beckert |
Publisher | : Springer |
Total Pages | : 207 |
Release | : 2011-01-18 |
Genre | : Computers |
ISBN | : 3642180701 |
Download Formal Verification of Object-Oriented Software Book in PDF, Epub and Kindle
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 collaboration and interactions among researchers in this area.
Formal Verification of Object-Oriented Software Related Books
Pages: 207
Pages: 308
Pages: 366
Pages: 366
Pages: 288