Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 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. Proceedings
By: edited by Cormac Flanagan, Barbara König
Contributors: König, Barbara; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7214
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642287565
Subjects: Programming Techniques; Software engineering; Computer networks; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Artificial intelligence; Artificial Intelligence (incl. Robotics)