Book Search Results
Verification Of Object Oriented Software. The Key Approach
Find "Verification Of Object Oriented Software. The Key Approach" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verification of Object-Oriented Software. the KeY Approach
By Bernhard Beckert, Reiner Hähnle and Peter H. Schmitt
“Verification of Object-Oriented Software. the KeY Approach” Metadata:
- Title: ➤ Verification of Object-Oriented Software. the KeY Approach
- Authors: Bernhard BeckertReiner HähnlePeter H. Schmitt
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2007
Edition Identifiers:
- The Open Library ID: OL37385125M
- All ISBNs: 9783540690610 - 3540690611
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification of Object-Oriented Software. the KeY Approach at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Verification Of Object Oriented Software. The Key Approach” online:
Shop for “Verification Of Object Oriented Software. The Key Approach” on popular online marketplaces.
- Ebay: New and used books.