Limit Search Results
Author
Language
Publication Date
-
Subject
Computer science.
(8)
Software engineering.
(8)
Mathematical Logic and Formal Languages.
(7)
Simulation and Modeling.
(7)
Artificial intelligence.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
14 Results Found Subscribe to search results
00DEFAULT
Print
13. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Handbook of dynamic system modeling
Handbook of dynamic system modeling
Author 
Fishwick, Paul A.
Preferred Shelf Number 
QA76.9 .C65 H345 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets