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, Proceedings / edited by Cormac Flanagan, Barbara König.

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/Ap...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Flanagan, Cormac (Editor), König, Barbara (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:	1st ed. 2012.
Series:	Theoretical Computer Science and General Issues ; 7214 Springer eBook Collection.
Subjects:	Software engineering. Computer logic. Computer communication systems. Programming languages (Electronic computers). Artificial intelligence. Computer programming. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.