Library of American University of Madaba

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 / edited by Javier Esparza, Rupak Majumdar. - Berlin : Springer, 2010. - xvi, 465 p. : ill. - Lecture notes in computer science ; 6015 .

Includes bibliographical references and index

ISBN: 9783642120015

Subjects--Topical Terms:
System design--Congresses.
System analysis--Congresses.
Computer systems

Dewey Class. No.: 005.1 / T671