Paul Callaghan & Zhaohui Luo 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Stöd
€57.99
Betalningsmetoder
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● ISBN 9783540458425 ● Redaktör Paul Callaghan & Zhaohui Luo ● Utgivare Springer Berlin Heidelberg ● Publicerad 2003 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6376781 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

49 366 E-böcker i denna kategori