//]]>
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
Automated Technology for Verification and Analysis
by
Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Web Services and Formal Methods
by
Bravetti, Mario.
Publication:
. VIII, 191p.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Refine your search
Availability
Limit to
currently available items.
Authors
Bravetti, Mario.
Bultan, Tevfik.
Hsiung, Pao-Ann.
Libraries
AUM Main Library
Series
Lecture Notes in Com...
Topics
Computer science.
Computer Science.
Software Engineering...
Software engineering...
User Interfaces and ...
Show More
Languages:
English |
العربية
