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

Uloženo v:
Podrobná bibliografie
Hlavní autor: Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (edición)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín, Alemania : Springer, 2010, c2010
Edice:(Lecture Notes in Computer Science)
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Fyzický popis:1 libro electrónico en línea (XIV, 450 p.)
1 recurso en línea
ISBN:978-3-642-13962-8
ISSN:1611-3349
Přístup:Licencias ilimitadas