Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564126
Price: 53.3 EUR
Availability: InStock
Author: Paul Callaghan
ISBN: 9783540432876

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01564126

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februar 2002

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the... Celoten opis

Koda Libristo: 01564126

129 b

53.30 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Matemáticas para aprender a pensar : el papel de las creencias en la resolución de problemas M. Luz . . . [et al. ] Callejo

Mehka

19.35 €

SIEBEN MARCHEN DER GEBRUDER GRIMM Knjiga

binding.

12.66 €

Energie rinnovabili da biomasse: rischi e opportunità. Coltivazioni, allevamenti, compost, biogas e agro-carburanti: analisi degli impatti ambientali. Giuseppe Zicari

Mehka

40.63 €

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.