• Programs, Proofs, Processes
  • Mehr Informationen

Treffer: Programs, Proofs, Processes

Titel:
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Verantwortlich:
Ferreira, Fernando (Herausgeber); Löwe, Benedikt (Herausgeber); Mayordomo, Elvira (Herausgeber); Gomes, Luís Mendes (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 450 Seiten) : 37 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6158
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Programs, Proofs, Processes. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642139611
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642139628 ; 3642139620 ; 978--364213961-1 (Sekundärausgabe) ; 978--364213963-5 (Sekundärausgabe)
DOI:
10.1007/978-3-642-13962-8

Zusatz-Informationen

Zusatz-Funktionen