Holdings: Programs, proofs, processes :

Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings / Fernando Ferreira [and others] (eds.).

Annotation

Saved in:

Bibliographic Details
Main Author:	Ferreira, Fernando (Author)
Corporate Author:	Conference on Computability in Europe Ponta Delgada, Azores
Format:	Ebook
Language:	English
Published:	Berlin : Springer, [2010]
Series:	Lecture notes in computer science ; 6158. LNCS sublibrary. Theoretical computer science and general issues
Subjects:	Computable functions > Congresses Computing Methodologies.
Online Access:	Springer eBooks

Description
Summary:	Annotation
Physical Description:	1 online resource (xvi, 450 pages) : illustrations.
Bibliography:	Includes bibliographical references and index.
ISSN:	0302-9743 ;