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 · 1995 · Paperback

₹2,614

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹2,379 for this book (save ₹235).

9% off every book, up to ₹500 off per order.

About this book

Formal Development of Reactive Systems: Case Study Production Cell is written by Claus Lewerentz & Thomas Lindner.The book is part of the Lecture notes in computer science series.

Topics covered include Development and Computer software.