Modeling in Event-B
Modeling in Event-B
Regular price
Rs. 17,148.81
Regular price
Sale price
Rs. 17,148.81
Unit price
per
Tax included.
ISBN: 9781139637794
Author: Jean-Raymond Abrial
Publisher: Gardners
Published Date: May 13, 2010
Access Validity: 3 Years from Date of Purchase
Book Type:
Digital eBook
Couldn't load pickup availability
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
