Modular Specification and Verification of Object-Oriented Programs Book

Name: Modular Specification and Verification of Object-Oriented Program
Brand: Steidl Publishing
SKU: 9783540431671
Price: 99.99 USD
Availability: InStock
Rating: 4 (2 reviews)

2 Ratings

Modular Specification and Verification of Object-Oriented Programs, This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the present, Modular Specification and Verification of Object-Oriented Programs

4 out of 5 stars based on 2 reviews

Modular Specification and Verification of Object-Oriented Programs
Written by author Peter M ller
Published by Springer-Verlag New York, LLC, January 2008
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the present
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the present

Buy Digital USD$99.99

Book Categories

Authors

1 Introduction 1
2 Mojave and the Universe Type System 39
3 The Semantics of Mojave 77
4 Modular Specification and Verification of Functional Behavior 123
5 Modular Specification and Verification of Frame Properties 143
6 Modular Specification and Verification of Type Invariants 195
7 Conclusion 213
A Format Background and Notations 223
B Predefined Type Declarations 227
C: Examples 229
D Auxiliary Lemmas, Proofs, and Models 237
Bibliography 271
List of Figures 285
Index 287

Title: Modular Specification and Verification of Object-Oriented Programs

Manufacturer:

Steidl Publishing

Item Number: 9783540431671

Publication Date: January 2008

Number: 1

Product Description: Modular Specification and Verification of Object-Oriented Programs

Universal Product Code (UPC): 9783540431671

WonderClub Stock Keeping Unit (WSKU): 9783540431671

Rating: 4/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/16/71/9783540431671.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 9.210 cm (3.63 inches)

Heigh : 6.140 cm (2.42 inches)

Depth: 0.650 cm (0.26 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between May 13 - Jun 12 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Modular Specification and Verification of Object-Oriented Programs

Ask a Question about Modular Specification and Verification of Object-Oriented Programs

No Question found!

Read Reviews for Modular Specification and Verification of Object-Oriented Programs Write review

Pierre Gasztowtt VI

reviewed Modular Specification and Verification of Object-Oriented Programs on November 01, 2014

Modular Specification and Verification of Object-Oriented Programs

Ma note de lecture complÃ¨te en franÃ§ais ici

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Modular Specification and Verification of Object-Oriented Programs, This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the present, Modular Specification and Verification of Object-Oriented Programs

Add Modular Specification and Verification of Object-Oriented Programs, This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the present, Modular Specification and Verification of Object-Oriented Programs to the inventory that you are selling on WonderClub

Add Modular Specification and Verification of Object-Oriented Programs, This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the present, Modular Specification and Verification of Object-Oriented Programs to your collection on WonderClub

Modular Specification and Verification of Object-Oriented Programs Book

Book Categories

Authors

Steidl Publishing

Question Concerning Modular Specification and Verification of Object-Oriented Programs

Read Reviews for Modular Specification and Verification of Object-Oriented Programs Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

1	Introduction	1
2	Mojave and the Universe Type System	39
3	The Semantics of Mojave	77
4	Modular Specification and Verification of Functional Behavior	123
5	Modular Specification and Verification of Frame Properties	143
6	Modular Specification and Verification of Type Invariants	195
7	Conclusion	213
A	Format Background and Notations	223
B	Predefined Type Declarations	227
	C: Examples	229
D	Auxiliary Lemmas, Proofs, and Models	237
	Bibliography	271
	List of Figures	285
	Index	287