Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
by
 
Craigen, Dan, 1953-

Title
: 
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

Author
: 
Craigen, Dan, 1953-

ISBN
: 
9781437728170

Physical Description
: 
1 online resource (xii, 306 pages)

Series
: 
Advanced computing and telecommunications series

Series Title
: 
Advanced computing and telecommunications series

Subject Term
: 
System design.
 
System analysis.

Added Author
: 
Gerhart, Susan L.
 
Ralston, Theodore L.

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780815513629


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