Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Reactive Systems

Reactive Systems

Modelling, Specification and Verification

by Luca Aceto, Anna Ingolfsdottir, Jiri Srba

Cambridge University Press · 2007 · Hardcover

₹5,259

Free delivery. Nothing extra to pay at checkout.

  • 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.

About this book

Reactive Systems: Modelling, Specification and Verification is written by Luca Aceto, Anna Ingolfsdottir & others. This hardcover edition from Cambridge University Press (2007) has 300 pages.

Its main subjects are Expert systems (Computer science), Validation, Verification and System design.

Book details

ISBN-13
9780521875462
ISBN-10
0521875463
Authors
Luca Aceto, Anna Ingolfsdottir, Jiri Srba
Publisher
Cambridge University Press
Published
2007
Binding
Hardcover
Pages
300
Language
English
Condition
New
Subject
Expert systems

More by Luca Aceto and related titles

See all