Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proc

Author：edited by Cormac Flanagan, Barbara Konig.
Publisher：Springer Berlin Heidelberg
ISBN：9783642287565 (electronic bk.) ; 9783642287558 (paper)
Publication Date：2012
其他作者：Flanagan, Cormac. ; Konig, Barbara.
語言：eng
出版地：Berlin, Heidelberg :
Description

xix, 560 p. ::ill., digital ;:24 cm.

Search Same Author