Cover image for Modeling in Event-B system and software engineering
Title:
Modeling in Event-B system and software engineering
Author:
Abrial, Jean-Raymond.
ISBN:
9780511729768

9781139637794

9780521895569
Publication Information:
Cambridge ; New York : Cambridge University Press, 2010.
Physical Description:
1 online resource (xxvi, 586 p.) : ill.
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 277993-1001 ONLINE
Searching...

On Order