ISBN 9781139195881 is currently unpriced. Please contact us for pricing.
Available options are listed below:
Available options are listed below:
Modeling in Event-B: System and Software Engineering
| AUTHOR | Abrial, Jean-Raymond |
| PUBLISHER | Cambridge University Press (03/05/2013) |
| PRODUCT TYPE | eBook (Open Ebook) |
Description
Show More
Product Format
Product Details
ISBN-13:
9781139195881
ISBN-10:
1139195883
Content Language:
English
More Product Details
Carton Quantity:
0
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Languages - General
Computers | Machine Theory
Dewey Decimal:
004.015
Descriptions, Reviews, Etc.
Author:
Abrial, Jean-Raymond
Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zurich.
Show More