Description: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

Corporate Author:	SpringerLink (Online service)
Other Authors:	Arvind, V. (Editor, http://id.loc.gov/vocabulary/relators/edt), Prasad, Sanjiva. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Theoretical Computer Science and General Issues ; 4855
Subjects:	Computers. Software engineering. Computer logic. Programming languages (Electronic computers). Mathematical logic. Algorithms. Theory of Computation. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Online Access:	https://doi.org/10.1007/978-3-540-77050-3

Physical Description:	XIV, 560 p. online resource.
ISBN:	9783540770503