BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

Formal Object-Oriented Development (Formal Approaches to Computing and
Stock photo: cover may vary

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT)) Paperback - 1995

by Lano, Kevin

Add to wish list
  • Used
  • Paperback
Used; Very Good

Description

Springer, 10/25/1995. Softcover reprint o. Paperback. Used; Very Good. **WE SHIP WITHIN 24 HRS FROM LONDON, UK, 98% OF OUR ORDERS ARE RECEIVED WITHIN 7-10 DAYS. We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
Ask the seller a question Add to wish list
NZ$79.05
NZ$40.15 Delivery to USA
Standard delivery: 7 to 10 days
More delivery options
Ships from Greener Books Ltd (Greater London, United Kingdom)

Details

About Greener Books Ltd Greater London, United Kingdom

Biblio member since 2010

Greener Books is an enterprise with a particular passion for supporting the Environment and Sustainability! We strive at all times to meet our customers expectation and in most cases exceed them.

Terms of Sale:

30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged. Feel free to contact our customer service team on customercare@greenerbooks.co.uk if you have queries regarding your order.

Browse books from Greener Books Ltd

Reader reviews for Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

From the publisher

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.
tracking-