Types for Proofs and Programs | International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers | ISBN 9783540432876

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

herausgegeben von Paul Callaghan, Zhaohui Luo, James McKinna und Robert Pollack
Mitwirkende
Herausgegeben vonPaul Callaghan
Herausgegeben vonZhaohui Luo
Herausgegeben vonJames McKinna
Herausgegeben vonRobert Pollack
Buchcover Types for Proofs and Programs | EAN 9783540432876 | ISBN 3-540-43287-6 | ISBN 978-3-540-43287-6

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

herausgegeben von Paul Callaghan, Zhaohui Luo, James McKinna und Robert Pollack
Mitwirkende
Herausgegeben vonPaul Callaghan
Herausgegeben vonZhaohui Luo
Herausgegeben vonJames McKinna
Herausgegeben vonRobert Pollack
Includes supplementary material: sn. pub/extras

ISBN-Daten

Einband - flex.(Paperback)
 
Softcover
248 Seiten
erschienen am
20.02.2002
Sprache
Englisch
Rubrik
Mathematische Grundlagen
ISBN-10
3-540-43287-6
Abmessungen
23,3 x 15,5 cm
Lieferstatus
verfügbar
Preis (UVP)
53,49 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen

Passend

Buchcover Types for Proofs and Programs

Types for Proofs and Programs