Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 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 /

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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/April...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Birkedal, Lars (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Book
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Edition:	1st ed. 2012
Series:	Computer Science (Springer-11645) Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 7213. LNCS sublibrary Theoretical computer science and general issues 7213
Subjects:	Artificial intelligence Compilers (Computer programs) Computer logic Computer science Computers Logic, Symbolic and mathematical Machine theory Programming languages (Electronic computers) Software engineering Formal Languages and Automata Theory Mathematical Logic and Formal Languages Artificial Intelligence Compilers and Interpreters Computation by Abstract Devices Computer Science Logic and Foundations of Programming Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Theory of Computation