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 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Author：edited by Nicolas Halbwachs, Lenore D. Zuck.
Publisher：Springer-Verlag GmbH.
ISBN：9783540319801 (electronic bk.) ; 9783540253334 (paper)
Publication Date：2005
其他作者：Halbwachs, Nicolas. ; Zuck, Lenore.
語言：zh
出版地：Berlin Heidelberg :
Description

xvii, 585 p. ::ill., digital ;:23 cm.

Search Same Author