Verification of Object-oriented Software

Verification of Object-oriented Software
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:1170320773
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Verification of Object-oriented Software by :

Download or read book Verification of Object-oriented Software written by and published by . This book was released on 2006 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


Verification of Object-oriented Software Related Books

Verification of Object-oriented Software
Language: en
Pages:
Authors:
Categories: Computer software
Type: BOOK - Published: 2006 - Publisher:

GET EBOOK

Verification of Object-Oriented Software. The KeY Approach
Language: en
Pages: 669
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2007-01-03 - Publisher: Springer Science & Business Media

GET EBOOK

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the softwar
Verification of Object-Oriented Software. The KeY Approach
Language: en
Pages: 658
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2009-09-02 - Publisher: Springer

GET EBOOK

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the softwar
Formal Verification of Object-Oriented Software
Language: en
Pages: 251
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2012-07-11 - Publisher: Springer

GET EBOOK

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO
Formal Verification of Object-Oriented Software
Language: en
Pages: 207
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2011-01-14 - Publisher: Springer Science & Business Media

GET EBOOK

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO