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.
Electronic Access:
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 277993-1001 | ONLINE | Searching... | Searching... |