Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649961
Price: 218.69 PLN
Availability: InStock
Author: Stefano Berardi
ISBN: 9783642024436

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi

Ferruccio Damiani

Ugo De Liguoro

Język

Angielski

Książka Miękka

Kod Libristo: 01649961

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2009

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Cały opis

Kod Libristo: 01649961

125 b

218.69 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

The Wiener Schnitzel Love Book! Florian Weitzer

Twarda

124.77 zł

Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois

Miękka

140.31 zł

Quitter l'ouest Robin

Miękka

82.58 zł

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

Miękka

49.50 zł

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Miękka

28.65 zł

Robota jak każda inna Alex W. Inker

Miękka

57.92 zł

Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp

Miękka

109.64 zł

K jak Klara 7 - Tak mi przykro Knudsen

MP3

10.11 zł

Idées reçues sur le Royaume-Uni Fourton

Miękka

72.55 zł

Arbeiter, Unternehmer, Professioneller Manfred Stock

Miękka

305.98 zł

Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková

Miękka

59.12 zł

Fútbol africano II Librofutbol. Com

Miękka

98.11 zł

Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann

CD Audio

37.98 zł

Das Erbe der Macht Andreas Suchanek

Miękka

301.07 zł

Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß

Twarda

102.52 zł

Faeries 13 Special Harry Potter Revue

Miękka

54.01 zł

Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez

Miękka

77.67 zł

Aufbewahrungsbox fürs Auto aus Kunststoff

Zabawka

58.72 zł

Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss

Miękka

77.87 zł

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Twarda

35.67 zł

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

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 Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2009

Liczba stron 323

EAN 9783642024436

ISBN 3642024432

Kod Libristo 01649961

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 510

Wymiary 155 x 235 x 19

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 > Algorytmy i struktury danych

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) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

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ć

Real-Time Mobile Multimedia Services Dilip Krishnaswamy

Miękka

218.69 zł

Torrent des passions R V RONI SAINT-CYR

Miękka

97.81 zł

Anesthesiology Linda S. Aglio

Miękka

724.13 zł

Motivating Children with Specific Learning Difficulties GAD ELBEHERI

Miękka

187.31 zł

Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor

Miękka

51.21 zł

Algebra ROBERT SHUTLER

Miękka

174.29 zł

The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors

Miękka

63.83 zł

GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly

Miękka

42.89 zł