Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

Author：edited by Stefan Kowalewski, Anna Philippou.
Publisher：Springer Berlin Heidelberg
ISBN：9783642007682 (electronic bk.) ; 9783642007675 (paper)
Publication Date：2009
其他作者：Kowalewski, S. ; Philippou, Anna.
語言：zh
出版地：Berlin, Heidelberg :
Description

xvi, 456 p. ::ill., digital ;:24 cm.

Search Same Author