Formal methods for industrial critical systems a survey of applications
by
 
Gnesi, Stefania, 1954-

Title
: 
Formal methods for industrial critical systems a survey of applications

Author
: 
Gnesi, Stefania, 1954-

ISBN
: 
9781118459898
 
9781118459867

Publication Information
: 
Hoboken, New Jersey : John Wiley & Sons Inc., [2012]

Physical Description
: 
1 online resource.

Subject Term
: 
Formal methods (Computer science)
 
COMPUTERS / Computer Engineering.
 
COMPUTERS / Computer Literacy
 
COMPUTERS / Computer Science
 
COMPUTERS / Data Processing
 
COMPUTERS / Hardware / General
 
COMPUTERS / Information Technology
 
COMPUTERS / Machine Theory
 
COMPUTERS / Reference

Genre
: 
Electronic books.

Added Author
: 
Gnesi, Stefania, 1954-
 
Margaria-Steffen, Tiziana, 1964-

Electronic Access
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798


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