//]]>
Log in to Your Account
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
Normal View
MARC View
ISBD View
Tools and algorithms for the construction and analysis of systems :
16th International Conference, Tacas 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus, March 20, 2010 /
Authors:
Esparza, Javier
%
editor
|
Majumdar, Rupak
%
editor
Series:
Lecture notes in computer science ;
. 6015
Published by :
Springer,
(Berlin : )
Physical details:
xvi, 465 p. : ill.
ISBN:
3642120016
Subject(s):
%
System design
%
Congresses.
| %
System analysis
%
Congresses.
| %
Computer systems
Year:
2010
Tags from this library:
No tags from this library for this title.
Holdings ( 1 )
Title Notes
Comments ( 0 )
Item type
Location
Call Number
Status
Notes
Date Due
Book
AUM Main Library
English Collections Hall
005.1 T671 (
Browse Shelf
)
Available
JBC/2011/9089
Includes bibliographical references and index
There are no comments for this item.
Log in to your account
to post a comment.
Print
Add to Your Cart
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Tweet
Save Record:
-- Choose Format --
BIBTEX
Dublin Core (XML)
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MODS (XML)
RIS
There are no comments for this item.