Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

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

Język AngielskiAngielski
Książka Miękka
Książka Types for Proofs and Programs Marino Miculan
Kod Libristo: 01567627
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

You Are My TRUTH Felicitas Brandt / Książka Miękka
common.buy 66.43 zł
Zápisník Black Red tečkovaný L Artykuły papiernicze Artykuły papiernicze
common.buy 34.12 zł
Tanie
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Książka Twarda
common.buy 22.57 zł
TOP
Nexus Yuval Noah Harari / Książka Twarda
common.buy 91.22 zł
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Książka Miękka
common.buy 120.03 zł
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Książka Miękka
common.buy 144.02 zł
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Książka Miękka
common.buy 143.62 zł
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Książka binding.
common.buy 33.31 zł
iPod Jude D. Biersdorfer / Książka Miękka
common.buy 81.99 zł
Szerafina és a Fekete Köpeny Robert Beatty / Książka Twarda
common.buy 26.49 zł
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Książka Miękka
common.buy 58.00 zł
František Skála - Grafika František Skála / Książka Karta
common.buy 53.39 zł
Puccini: La Boheme/Madame Butterfly RPO/Abell / Audio CD Audio
common.buy 111.80 zł
Ataque a un enemigo de la libertad Cicerón / Książka Miękka
common.buy 41.54 zł
E-biznes Steve West / Książka Miękka
common.buy 52.88 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Types for Proofs and Programs
Autor Marino Miculan, Ivan Scagnetto, Furio Honsell
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 203
EAN 9783540680840
ISBN 3540680845
Kod Libristo 01567627
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 343
Wymiary 155 x 235 x 14

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Książka Miękka
common.buy 68.84 zł
Building the Medieval World Christine Sciacca / Książka Twarda
common.buy 72.15 zł
Jeremy Blake / Książka Miękka
common.buy 48.17 zł
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Książka Miękka
common.buy 42.95 zł
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Książka Miękka
common.buy 36.93 zł
TOP
Ego is the Enemy Ryan Holiday / Książka Miękka
common.buy 45.05 zł
Household Stories Wilhelm Grimm / Książka Miękka
common.buy 98.45 zł
Fights for the Flag William Henry Fitchett / Książka Miękka
common.buy 106.18 zł
Requiem for Innocence Bv Lawson / Książka Miękka
common.buy 57.60 zł
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Książka Miękka
common.buy 74.26 zł
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Książka Miękka
common.buy 136.09 zł
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Książka Miękka
common.buy 32.41 zł
Fresh Designs for Woodworking Thomas Haapapuro / Książka Miękka
common.buy 68.84 zł
The Position of the Celebrant at the Holy Communion Morton Shaw / Książka Miękka
common.buy 68.44 zł
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Książka Miękka
common.buy 402.37 zł
TOP
Lonely Planet Pocket Bangkok Lonely Planet / Książka Miękka
common.buy 45.86 zł
Wind in the Willows Kenneth Grahame / Książka Twarda
common.buy 67.94 zł
TOP
Jujutsu Kaisen, Vol. 8 Gege Akutami / Książka Miękka
common.buy 38.73 zł
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Książka Miękka
common.buy 70.95 zł
Summary: The Art of Social Media / Książka Miękka
common.buy 57.50 zł
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Kalendarz/Pamiętnik Kalendarz
common.buy 89.12 zł
Tanie
The Crescent Moon Tearoom Stacy Sivinski / Książka Miękka
common.buy 32.61 zł
The Australian Defence Force Robbin Laird / Książka Miękka
common.buy 55.19 zł
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Książka Miękka
common.buy 66.94 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?