Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
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
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 255250-1001 ONLINE
Searching...

On Order