Articoli correlati a Types for Proofs and Programs: International Workshop...
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers - Brossura
Sinossi
Book by Barendregt Henk
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Verlag
- Data di pubblicazione1994
- ISBN 10 0387580859
- ISBN 13 9780387580852
- RilegaturaCopertina flessibile
- LinguaInglese
- RedattoreNipkow Tobias
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 111,17
EUR 7,81 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Types for Proofs and Programs: International Workshop...
Foto dell'editore
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
Da: Bookmans, Tucson, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. minor shelf wear Satisfaction 100% guaranteed. Codice articolo mon0002461486
Quantità: 1 disponibili
Foto dell'editore
Types for Proofs and Programs
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 383. Codice articolo 2650386418
Quantità: 1 disponibili
Foto dell'editore
Types for Proofs and Programs
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 383. Codice articolo 58157613
Quantità: 1 disponibili
Foto dell'editore
Types for Proofs and Programs
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 383. Codice articolo 1850386424
Quantità: 1 disponibili