Verification of Object-Oriented Software. The KeY Approach - Info and Reading Options
Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
By Bernhard Beckert
"Verification of Object-Oriented Software. The KeY Approach" is published by Springer in February 21, 2007, it has 658 pages and the language of the book is English.
“Verification of Object-Oriented Software. The KeY Approach” Metadata:
- Title: ➤ Verification of Object-Oriented Software. The KeY Approach
- Author: Bernhard Beckert
- Language: English
- Number of Pages: 658
- Publisher: Springer
- Publish Date: February 21, 2007
“Verification of Object-Oriented Software. The KeY Approach” Subjects and Themes:
- Subjects: ➤ Java (Computer program language) - Object-oriented methods (Computer science) - Verification - Computer software - Logic design - Artificial intelligence - Computer science - Software engineering - Object-oriented programming (computer science) - Objektorientierte Programmierung - Softwarespezifikation - Programmverifikation - Korrektheit - Beweis - Softwareentwicklung - Objektorientierung - Programmierlogik - Formale Methode
Edition Specifications:
- Format: Paperback
- Weight: 2.2 pounds
- Dimensions: 9.2 x 6.1 x 0.9 inches
Edition Identifiers:
- The Open Library ID: OL12810193M - OL18348040W
- Online Computer Library Center (OCLC) ID: 78203745
- Library of Congress Control Number (LCCN): 2006939067
- ISBN-13: 9783540689775
- ISBN-10: 354068977X
- All ISBNs: 354068977X - 9783540689775
AI-generated Review of “Verification of Object-Oriented Software. The KeY Approach”:
Read “Verification of Object-Oriented Software. The KeY Approach”:
Read “Verification of Object-Oriented Software. The KeY Approach” by choosing from the options below.
Search for “Verification of Object-Oriented Software. The KeY Approach” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Verification of Object-Oriented Software. The KeY Approach" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: full
- Check if available: The Open Library & The Internet Archive
Find “Verification of Object-Oriented Software. The KeY Approach” in Libraries Near You:
Read or borrow “Verification of Object-Oriented Software. The KeY Approach” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Verification of Object-Oriented Software. The KeY Approach” at a library near you.
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.