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: 223.38 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

223.38 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

MINIX Music: Michael Jackson #117 Gra/Zabawka

Zabawka

73.80 zł

The Wiener Schnitzel Love Book! Florian Weitzer

Twarda

127.45 zł

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

Miękka

125.40 zł

Quitter l'ouest Robin

Miękka

83.63 zł

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

Miękka

50.56 zł

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Miękka

29.17 zł

Robota jak każda inna Alex W. Inker

Miękka

56.60 zł

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

Miękka

111.99 zł

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

Miękka

73.60 zł

Arbeiter, Unternehmer, Professioneller Manfred Stock

Miękka

312.55 zł

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

Miękka

60.39 zł

Fútbol africano II Librofutbol. Com

Miękka

100.22 zł

Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann

CD Audio

38.59 zł

Das Erbe der Macht Andreas Suchanek

Miękka

307.53 zł

Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß

Twarda

104.72 zł

Faeries 13 Special Harry Potter Revue

Miękka

54.66 zł

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

Miękka

78.62 zł

Aufbewahrungsbox fürs Auto aus Kunststoff

Zabawka

59.88 zł

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

Miękka

79.54 zł

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Twarda

32.54 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

223.38 zł

Torrent des passions R V RONI SAINT-CYR

Miękka

99.91 zł

Anesthesiology Linda S. Aglio

Miękka

739.66 zł

Motivating Children with Specific Learning Difficulties GAD ELBEHERI

Miękka

191.23 zł

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

Miękka

52.30 zł

Algebra ROBERT SHUTLER

Miękka

157.04 zł

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

Miękka

65.20 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

43.81 zł