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ć
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Types for Proofs and Programs Stefano Berardi
Kod Libristo: 05274627
Wydawnictwo Springer, Berlin, listopad 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Cały opis
? points 125 b
219.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio CD Audio
common.buy 70.46 zł
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio CD Audio
common.buy 155.89 zł
Zadní pokoj Jorn Lier Horst / Książka Twarda
common.buy 61.53 zł
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Książka Miękka
common.buy 122.66 zł
Vive l'Europe ! Bizet Książka Miękka
common.buy 71.16 zł
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Książka Miękka
common.buy 55.00 zł
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Gra/Zabawka Gra
common.buy 57.31 zł
AUTOFAGIA VENTURA MEDINA / Książka Miękka
common.buy 110.41 zł
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Książka Miękka
common.buy 136.11 zł
Brainstorming Andrea Windolph / Książka Miękka
common.buy 38.34 zł
Weidenrute und Schwert Gerwalt Richardson / Książka Miękka
common.buy 59.42 zł
Leiden unsers Herren Jesu Christi Johannes Brassart / Książka Miękka
common.buy 83.61 zł
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Książka Miękka
common.buy 61.83 zł
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Książka Miękka
common.buy 186.10 zł
Ludwig II. Christine Tauber / Książka Twarda
common.buy 46.07 zł
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Książka Miękka
common.buy 73.97 zł
Artesanias María Leonor Aguilar García / Książka Miękka
common.buy 110.21 zł
Musikgeschichte(n) HANS BA LER / Książka binding.
common.buy 145.25 zł
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Książka Miękka
common.buy 188.71 zł
Die Herren von Greifenklau Karl May / Książka Twarda
common.buy 106.40 zł

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

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 Stefano Berardi, Mario Coppo
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 298
EAN 9783540617808
ISBN 3540617809
Kod Libristo 05274627
Wydawnictwo Springer, Berlin
Waga 474
Wymiary 156 x 234 x 16

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
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) > Matematyczna teoria obliczeń
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ć

TOP
Bones & All Camille DeAngelis / Książka Miękka
common.buy 44.36 zł
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Książka Miękka
common.buy 247.94 zł
Restaurant and Bar Design II Zheng Siyu / Książka Twarda
common.buy 345.01 zł
Seeing Angels Emma Heathcote-James / Książka Twarda
common.buy 114.73 zł
Christmas Wish Gregory Porter / Audio Winyl Audio
common.buy 132.50 zł
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Książka Miękka
common.buy 301.55 zł
2 Peter and Jude - Concordia Commentary Curtis Giese / Książka Twarda
common.buy 411.77 zł
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Książka Twarda
common.buy 149.97 zł
Spatial Analysis for Complex Territorial Systems Luca Salvati / Książka Miękka
common.buy 810.20 zł
Zapowiedź
Bloody Provost R.A.J. Tyler / Książka Twarda
common.buy 90.04 zł
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Książka Miękka
common.buy 162.21 zł
Struggle for Recognition in International Relations Murray / Książka Twarda
common.buy 328.05 zł
Audio-Vision: Sound on Screen Claudia Gorbman / Książka Miękka
common.buy 131.80 zł
Industrial Fuels Joseph Stephenson / Książka Twarda
common.buy 134.00 zł
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Książka Miękka
common.buy 74.28 zł
Heartbreaker Nick Louth / Książka Miękka
common.buy 70.76 zł
Selling Modernity Pamela E. Swett / Książka Twarda
common.buy 710.22 zł
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Książka Miękka
common.buy 308.58 zł
What Did the Biblical Writers Know and When Did They Know it? Dever / Książka Miękka
common.buy 104.29 zł
Spoken Natural Language Dialog Systems Ronnie W. Smith / Książka Twarda
common.buy 482.54 zł
Biology of Memory G. Adam / Książka Miękka
common.buy 219.03 zł
Cairo Trilogy Naguib Mahfouz / Książka Twarda
common.buy 134.41 zł
Talk Fiction Irene Kacandes / Książka Miękka
common.buy 160.51 zł
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Książka Twarda
common.buy 611.84 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