Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Subject
Electronic books.
(8)
COMPUTERS -- Computer Literacy.
(2)
COMPUTERS -- Computer Science.
(2)
COMPUTERS -- Data Processing.
(2)
COMPUTERS -- Hardware -- General.
(2)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
13 Results Found Subscribe to search results
0DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      13. 
      Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      by 
      Craigen, Dan, 1953-
      ScienceDirect https://www.sciencedirect.com/science/book/9780815513629
      Format: 
      Excerpt: 
      offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this