Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Types for Proofs and Programs

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Types for Proofs and Programs Stefano Berardi
Libristo kod: 05274627
Nakladnici Springer, Berlin, studeni 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 16.60 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 35.24 €
Zadní pokoj Jorn Lier Horst / Knjiga Tvrdi uvez
common.buy 13.66 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Knjiga Meki uvez
common.buy 27.74 €
Vive l'Europe ! Bizet Knjiga Meki uvez
common.buy 16.09 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Knjiga Meki uvez
common.buy 12.95 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Igra/Igračka Igra
common.buy 12.85 €
AUTOFAGIA VENTURA MEDINA / Knjiga Meki uvez
common.buy 25.01 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Knjiga Meki uvez
common.buy 32.10 €
Brainstorming Andrea Windolph / Knjiga Meki uvez
common.buy 9.00 €
Weidenrute und Schwert Gerwalt Richardson / Knjiga Meki uvez
common.buy 13.26 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Knjiga Meki uvez
common.buy 19.74 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Knjiga Meki uvez
common.buy 14.57 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Knjiga Meki uvez
common.buy 42.12 €
Ludwig II. Christine Tauber / Knjiga Tvrdi uvez
common.buy 10.32 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Knjiga Meki uvez
common.buy 17.41 €
Artesanias María Leonor Aguilar García / Knjiga Meki uvez
common.buy 26.02 €
Musikgeschichte(n) HANS BA LER / Knjiga binding.
common.buy 32.81 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Knjiga Meki uvez
common.buy 44.55 €
Die Herren von Greifenklau Karl May / Knjiga Tvrdi uvez
common.buy 25.11 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Types for Proofs and Programs
Autor Stefano Berardi, Mario Coppo
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 298
EAN 9783540617808
ISBN 3540617809
Libristo kod 05274627
Nakladnici Springer, Berlin
Težina 474
Dimenzije 156 x 234 x 16

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
Bones & All Camille DeAngelis / Knjiga Meki uvez
common.buy 10.42 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Knjiga Meki uvez
common.buy 55.90 €
Restaurant and Bar Design II Zheng Siyu / Knjiga Tvrdi uvez
common.buy 77.88 €
Seeing Angels Emma Heathcote-James / Knjiga Tvrdi uvez
common.buy 27.13 €
Christmas Wish Gregory Porter / Audio Audio vinil
common.buy 29.46 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Knjiga Meki uvez
common.buy 71.19 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Knjiga Tvrdi uvez
common.buy 101.88 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Knjiga Tvrdi uvez
common.buy 35.44 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Knjiga Meki uvez
common.buy 200.43 €
Pripremamo
Bloody Provost R.A.J. Tyler / Knjiga Tvrdi uvez
common.buy 21.26 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Knjiga Meki uvez
common.buy 38.27 €
Struggle for Recognition in International Relations Murray / Knjiga Tvrdi uvez
common.buy 81.12 €
Audio-Vision: Sound on Screen Claudia Gorbman / Knjiga Meki uvez
common.buy 31.49 €
Industrial Fuels Joseph Stephenson / Knjiga Tvrdi uvez
common.buy 31.69 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Knjiga Meki uvez
common.buy 17.51 €
Heartbreaker Nick Louth / Knjiga Meki uvez
common.buy 17.71 €
Selling Modernity Pamela E. Swett / Knjiga Tvrdi uvez
common.buy 167.71 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Knjiga Meki uvez
common.buy 72.91 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Knjiga Meki uvez
common.buy 24.60 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Knjiga Tvrdi uvez
common.buy 119.40 €
Biology of Memory G. Adam / Knjiga Meki uvez
common.buy 51.75 €
Cairo Trilogy Naguib Mahfouz / Knjiga Tvrdi uvez
common.buy 31.69 €
Talk Fiction Irene Kacandes / Knjiga Meki uvez
common.buy 37.87 €
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 / Knjiga Tvrdi uvez
common.buy 144.52 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun