Formal Development of Reactive Systems

Name: Formal Development of Reactive Systems: Case Study Production Cell
Brand: Springer
SKU: 9783540588672
Price: 2614.00 INR
Availability: InStock

Case Study Production Cell

by Claus Lewerentz, Thomas Lindner

Springer

₹2,614

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell.

Description supplied by the publisher.