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

Författare
Fernando. Ferreira
(Edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2010 Tyskland, Berlin, Heidelberg 978-3-642-13962-8