Formal methods applied to complex systems : implementation of the B Method
by
 
Boulanger, Jean-Louis, editor.

Title
: 
Formal methods applied to complex systems : implementation of the B Method

Author
: 
Boulanger, Jean-Louis, editor.

ISBN
: 
9781119002680
 
9781119002727

Physical Description
: 
1 online resource.

Series
: 
Computer engineering series
 
Computer engineering series (London, England)

Subject Term
: 
B method (Computer science)
 
Formal methods (Computer science)

Added Author
: 
Boulanger, Jean-Louis,

Electronic Access
: 
ebrary An electronic book accessible through the World Wide Web; click to view
 
John Wiley http://dx.doi.org/10.1002/9781119002727


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book342119-1001ONLINE(342119.1)Elektronik Kütüphane