Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS

Publication Data

Title Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS
Contributors Nicolas Halbwachs, Lenore D. Zuck
Publisher Springer
Publication date 2005
Publication location Berlin
Language English

Descriptive Notes

Proceedings of the 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005.

Topics

Computer algorithms :: Congresses
Computer systems :: Congresses
System analysis :: Congresses

Catalogue Data

OBNB ID GBA534503
ISBN 10 3540253335
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.21

ISBD

P1053 xvii, 585 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS . ISBN 3540253335. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.