Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Bibliographic Details
Other Authors: Ferreira, Fernando (Editor), Löwe, Benedikt (Editor), Mayordomo, Elvira (Editor), Gomes, Luís Mendes (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Physical Description:XIV, 450 p. 37 illus online resource
ISBN:9783642139628