Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Modeling and verification of real-time systems formalisms and software tools
Modeling and verification of real-time systems formalisms and software tools
Author 
Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Process algebra for parallel and distributed processing
Process algebra for parallel and distributed processing
Author 
Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-
Preferred Shelf Number 
QA76.58 .P7664 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets