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

作者：edited by Nicolas Halbwachs, Lenore D. Zuck.

出版社：Springer-Verlag GmbH.

ISBN：9783540319801 (electronic bk.) ; 9783540253334 (paper)

出版日期：2005

其他作者：Halbwachs, Nicolas. ; Zuck, Lenore.

語言：zh

出版地：Berlin Heidelberg :

內容簡介

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

搜尋同作者