Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by WorkBot
January 23, 2010 | History

Tools and algorithms for the construction and analysis of systems 1 edition

Tools and algorithms for the construction and analysis of systems
TACAS 2003 (2003 Warsaw, Polan ...

Read

Buy

Amazon $7.26 (used)
Better World Books $12.69 (used)

Lists

You could add Tools and algorithms for the construction and analysis of systems to a list if you log in.
Darn it. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Tools and algorithms for the construction and analysis of systems
9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Hubert Garavel, John Hatcliff (eds.).

Published 2003 by Springer in Berlin, New York .
Written in English.

Edition Notes

Series
Lecture notes in computer science -- 2619.
Genre
Congresses.
Other Titles
TACAS 2003.

Classifications

Library of Congress
QA76.9.S88 T33 2003, QA76.9.S88 T33 2003

The Physical Object

Pagination
xvi, 604 p. :
Number of pages
604

ID Numbers

Open Library
OL18184113M
Internet Archive
toolsalgorithmsf2003gara
ISBN 10
3540008985
LC Control Number
2003045501
Goodreads
6398746

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 23, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page