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 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, Berlin
SKU: 01559460
Price: 48.76 EUR
Availability: InStock
Author: Stefano Berardi
ISBN: 9783540221647

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Stefano Berardi

Mario Coppo

Ferruccio Damiani

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01559460

Založba Springer, Berlin, november 2003

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

Koda Libristo: 01559460

118 b

48.76 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Vinda do Kaiser H H Munro (Saki)

Mehka

9.78 €

Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka

Mehka

3.63 €

Midnight Scandal Sex Neneko Narazaki

Mehka

7.46 €

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.