Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567627
Price: 48.31 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.31 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Ataque a un enemigo de la libertad Cicerón

Mehka

8.59 €

Lettres Politiques Adressees A Timon Theophraste

Mehka

15.70 €

Nexus Yuval Noah Harari

Trda

18.80 €

Nachhaltiges Geschäftsprozessmanagement mit JSON-Netzen Andreas Fritsch

Mehka

21.90 €

El libro de los hechizos Cecilia Pisos

Mehka

10.09 €

Tunnel 57 Thomas Henseler

Preglednica

7.49 €

Aru Shah e il canto della morte Roshani Chokshi

Mehka

16.60 €

El accidente del teletransporte Ned Beauman

Mehka

25.40 €

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

Pisarniški material

7.49 €

You Are My TRUTH Felicitas Brandt

Mehka

14.50 €

Little Bird The Keening

Zvočni CD

18.70 €

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Mehka

26.40 €

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

Mehka

31.60 €

Gros Monsieur de Mauvaise Humeur(le) Charly Isabelle

Mehka

11.29 €

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

Trda

5.59 €

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

Mehka

31.50 €

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

Mehka

12.90 €

NIKOLA GRANDMONTAGNE

Mehka

16.50 €

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

binding.

6.19 €

La voix pluridimensionnelle - révélez votre potentiel vocal Véret Knjiga

Mehka

28.30 €

iPod Jude D. Biersdorfer

Mehka

16.30 €

Puccini: La Boheme/Madame Butterfly RPO/Abell

Zvočni CD

24.80 €

Szerafina és a Fekete Köpeny Robert Beatty

Trda

5.79 €

E-biznes Steve West

Mehka

12.49 €

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.