Industrial used of formal method formal verification
by
 
Boulanger, Jean-Louis.

Title
: 
Industrial used of formal method formal verification

Author
: 
Boulanger, Jean-Louis.

ISBN
: 
9781848213630
 
9781118561829
 
9781299187078

Publication Information
: 
London : ISTE ; Hoboken, NJ : Wiley, ©2012.

Physical Description
: 
1 online resource.

Subject Term
: 
Systems engineering -- Data processing.
 
Computer simulation.
 
Formal methods (Computer science)
 
Computer software -- Verification.
 
Nondestructive testing.

Added Author
: 
Boulanger, Jean-Louis.

Electronic Access
: 
Wiley http://dx.doi.org/10.1002/9781118561829


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