Modeling in Event-B system and software engineering
by
 
Abrial, Jean-Raymond.

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.

Subject Term
: 
Formal methods (Computer science)
 
B method (Computer science)
 
Computer science -- Mathematical models.
 
Computer systems -- Verification.

Electronic Access
: 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book277993-1001ONLINEElektronik Kütüphane