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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
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
223.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio CD Audio
common.buy 71.86 zł
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio CD Audio
common.buy 158.47 zł
Zadní pokoj Jorn Lier Horst / Książka Twarda
common.buy 62.75 zł
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Książka Miękka
common.buy 124.58 zł
Vive l'Europe ! Bizet Książka Miękka
common.buy 71.96 zł
TOP
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Książka Miękka
common.buy 56.09 zł
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Gra/Zabawka Gra
common.buy 58.24 zł
AUTOFAGIA VENTURA MEDINA / Książka Miękka
common.buy 112.40 zł
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Książka Miękka
common.buy 138.81 zł
Brainstorming Andrea Windolph / Książka Miękka
common.buy 39.10 zł
Weidenrute und Schwert Gerwalt Richardson / Książka Miękka
common.buy 60.39 zł
Leiden unsers Herren Jesu Christi Johannes Brassart / Książka Miękka
common.buy 85.27 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 63.05 zł
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Książka Miękka
common.buy 173.31 zł
Ludwig II. Christine Tauber / Książka Twarda
common.buy 46.78 zł
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Książka Miękka
common.buy 75.44 zł
Artesanias María Leonor Aguilar García / Książka Miękka
common.buy 112.40 zł
Musikgeschichte(n) HANS BA LER / Książka binding.
common.buy 147.62 zł
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Książka Miękka
common.buy 192.46 zł
Die Herren von Greifenklau Karl May / Książka Twarda
common.buy 123.66 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 49.13 zł
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Książka Miękka
common.buy 252.66 zł
Restaurant and Bar Design II Zheng Siyu / Książka Twarda
common.buy 351.14 zł
Seeing Angels Emma Heathcote-James / Książka Twarda
common.buy 117.01 zł
Christmas Wish Gregory Porter / Audio Winyl Audio
common.buy 135.13 zł
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Książka Miękka
common.buy 307.53 zł
2 Peter and Jude - Concordia Commentary Curtis Giese / Książka Twarda
common.buy 419.94 zł
Spatial Analysis for Complex Territorial Systems Luca Salvati / Książka Miękka
common.buy 826.27 zł
Zapowiedź
Bloody Provost R.A.J. Tyler / Książka Twarda
common.buy 91.82 zł
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Książka Miękka
common.buy 165.43 zł
Struggle for Recognition in International Relations Murray / Książka Twarda
common.buy 334.56 zł
Audio-Vision: Sound on Screen Claudia Gorbman / Książka Miękka
common.buy 134.20 zł
Industrial Fuels Joseph Stephenson / Książka Twarda
common.buy 136.66 zł
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Książka Miękka
common.buy 75.75 zł
Heartbreaker Nick Louth / Książka Miękka
common.buy 60.39 zł
Selling Modernity Pamela E. Swett / Książka Twarda
common.buy 724.30 zł
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Książka Miękka
common.buy 314.70 zł
What Did the Biblical Writers Know and When Did They Know it? Dever / Książka Miękka
common.buy 119.05 zł
Spoken Natural Language Dialog Systems Ronnie W. Smith / Książka Twarda
common.buy 492.11 zł
Biology of Memory G. Adam / Książka Miękka
common.buy 223.38 zł
Cairo Trilogy Naguib Mahfouz / Książka Twarda
common.buy 137.07 zł
Talk Fiction Irene Kacandes / Książka Miękka
common.buy 163.69 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 628.99 zł
Charlatans or Saviours? Roger Middleton / Książka Twarda
common.buy 966.53 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?