//]]>
Log in to Your Account
Search history
[
x
]
Library Of American University Of Madaba
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Lists
Advanced Search
|
Browse by author or subject
|
Tag Cloud
Your cart is empty.
Public Lists
No Public Lists
Log in to Create Your Own Lists
Your search returned 2 results.
Relevance
Popularity (Most to Least)
Popularity (Least to Most)
Author (A-Z)
Author (Z-A)
Call Number (0-9 to A-Z)
Call Number (Z-A to 9-0)
Publication/Copyright Date: Newest to Oldest
Publication/Copyright Date: Oldest to Newest
Acquisition Date: Newest to Oldest
Acquisition Date: Oldest to Newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Handbook of real-time and embedded systems /
Publication:
Boca Raton, FL : Chapman & Hall/CRC, 2008 . 1 v. (various pagings) : 27 cm.
Date:
2008
Availability:
Copies available:
AUM Main Library (2),
Actions:
Add to Cart
Runtime Verification
by
Barringer, Howard.
Publication:
. XIII, 492p. 145 illus.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Refine your search
Availability
Limit to
currently available items.
Authors
Falcone, Ylies.
Finkbeiner, Bernd.
Lee, Insup.
Sokolsky, Oleg.
Son, Sang H.
Show More
Libraries
AUM Main Library
Series
Chapman & Hall/C...
Lecture Notes in Com...
Topics
Algorithm Analysis a...
Computer Science.
Computer science.
Computer software.
Embedded computer sy...
Logic design.
Logics and Meanings ...
Mathematical Logic a...
Programming Language...
Programming Techniqu...
Real-time data proce...
Software Engineering...
Software engineering...
