Enlarge

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, 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 : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS
Contributors Orna Grumberg, Michael Huth
Publisher Springer
Publication date 2007
Publication location Berlin
Language English

Descriptive Notes

International conference proceedings.

Topics

System design :: Congresses
Computer software :: Development :: Congresses

Catalogue Data

OBNB ID GBA725171
ISBN 10 3540712089
ISBN 13 9783540712084
Type BibliographicResource, Book
Dewey Classification 005.12

ISBD

P1053 xx, 738 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 : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS . ISBN 9783540712084. Published by Springer in 2007. Publication and catalogue information, links to buy online and reader comments.