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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567627
Price: 48.91 EUR
Availability: InStock
Author: Marino Miculan
ISBN: 9783540680840

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Marino Miculan

Ivan Scagnetto

Furio Honsell

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01567627

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2008

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Celoten opis

Koda Libristo: 01567627

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

You Are My TRUTH Felicitas Brandt

Mehka

14.68 €

Zápisník Black Red tečkovaný L Pisarniški material

Pisarniški material

7.59 €

Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins

Trda

5.36 €

Nexus Yuval Noah Harari

Trda

19.03 €

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Mehka

26.73 €

Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla

Mehka

32.00 €

Réponse du blé semé tardivement ? l'azote Deepak Sapkota

Mehka

31.89 €

OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Knjiga

binding.

7.18 €

iPod Jude D. Biersdorfer

Mehka

17.61 €

Szerafina és a Fekete Köpeny Robert Beatty

Trda

5.56 €

de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A

Mehka

13.06 €

František Skála - Grafika František Skála

Preglednica

11.13 €

Puccini: La Boheme/Madame Butterfly RPO/Abell

Zvočni CD

25.11 €

Ataque a un enemigo de la libertad Cicerón

Mehka

8.80 €

E-biznes Steve West

Mehka

13.16 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.