Limit Search Results
Author
SpringerLink (Online service)
(36)
Dastani, Mehdi. editor.
(3)
Leite, João. editor.
(3)
Cordeiro, José. editor.
(2)
Czarnecki, Krzysztof. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(29)
Computer science.
(26)
Simulation and Modeling.
(13)
Programming languages (Electronic computers).
(11)
Artificial intelligence.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000DEFAULT
Print
37. 
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:
38. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
Select an Action