//]]>
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.
Item type Location Call Number Status Notes Date Due
Book 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.

Languages: 
English |
العربية