Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques. Read More
Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques. Read Less
Add this copy of Object-Oriented Specification Case Studies to cart. $78.18, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1969 by Prentice Hall.
