Book Search Results
Specification And Verification Of Object Oriented Software Components by Andreas Roth
Find "Specification And Verification Of Object Oriented Software Components" by Andreas Roth 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
1Specification and verification of object oriented software components
By Andreas Roth
“Specification and verification of object oriented software components” Metadata:
- Title: ➤ Specification and verification of object oriented software components
- Author: Andreas Roth
- Language: English
- Publisher: Univ.-Verl. Karlsruhe
- Publish Date: 2006
- Publish Location: Karlsruhe
“Specification and verification of object oriented software components” Subjects and Themes:
- Subjects: Programmverifikation - Komponente <Software> - Korrektheit - Formale Spezifikationstechnik - Objektorientierte Programmiersprache
Edition Identifiers:
- The Open Library ID: OL25573227M
- Online Computer Library Center (OCLC) ID: 179984606
- All ISBNs: 3866440421 - 9783866440425
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Specification and verification of object oriented software components at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Specification And Verification Of Object Oriented Software Components” online:
Shop for “Specification And Verification Of Object Oriented Software Components” on popular online marketplaces.
- Ebay: New and used books.