Modeling in Event-B
Modeling in Event-B
Regular price
Rs. 16,623.01
Regular price
Sale price
Rs. 16,623.01
Unit price
per
Tax included.
ISBN: 9781139637794
Author: Kitaboo eStore
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.
