Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Types for Proofs and Programs

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Stefano Berardi
Koda Libristo: 05274627
Založba Springer, Berlin, november 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Celoten opis
? points 118 b
48.76 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Ken Laszlo (Deluxe Edition) Ken Laszlo / Zvok Zvočni CD
common.buy 15.74 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Zvok Zvočni CD
common.buy 33.51 €
Zadní pokoj Jorn Lier Horst / Knjiga Trda
common.buy 12.81 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Knjiga Mehka
common.buy 26.34 €
Vive l'Europe ! Bizet Knjiga Mehka
common.buy 15.34 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Knjiga Mehka
common.buy 12.11 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Igra/Igrača Igra
common.buy 12.11 €
AUTOFAGIA VENTURA MEDINA / Knjiga Mehka
common.buy 23.92 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Knjiga Mehka
common.buy 30.18 €
Brainstorming Andrea Windolph / Knjiga Mehka
common.buy 8.47 €
Weidenrute und Schwert Gerwalt Richardson / Knjiga Mehka
common.buy 12.51 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Knjiga Mehka
common.buy 18.47 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Knjiga Mehka
common.buy 13.82 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Knjiga Mehka
common.buy 40.18 €
Ludwig II. Christine Tauber / Knjiga Trda
common.buy 9.68 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Knjiga Mehka
common.buy 16.55 €
Artesanias María Leonor Aguilar García / Knjiga Mehka
common.buy 24.42 €
Musikgeschichte(n) HANS BA LER / Knjiga binding.
common.buy 31.19 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Knjiga Mehka
common.buy 41.79 €
Die Herren von Greifenklau Karl May / Knjiga Trda
common.buy 23.52 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Types for Proofs and Programs
Avtor Stefano Berardi, Mario Coppo
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1996
Število strani 298
EAN 9783540617808
ISBN 3540617809
Koda Libristo 05274627
Založba Springer, Berlin
Teža 474
Mere 156 x 234 x 16

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Top
Bones & All Camille DeAngelis / Knjiga Mehka
common.buy 9.38 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Knjiga Mehka
common.buy 53.10 €
Restaurant and Bar Design II Zheng Siyu / Knjiga Trda
common.buy 74.20 €
Seeing Angels Emma Heathcote-James / Knjiga Trda
common.buy 25.54 €
Christmas Wish Gregory Porter / Zvok Zvočni vinil
common.buy 27.55 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Knjiga Mehka
common.buy 66.83 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Knjiga Trda
common.buy 101.57 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Knjiga Trda
common.buy 33.61 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Knjiga Mehka
common.buy 199.81 €
Kmalu
Bloody Provost R.A.J. Tyler / Knjiga Trda
common.buy 19.78 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Knjiga Mehka
common.buy 36.34 €
Struggle for Recognition in International Relations Murray / Knjiga Trda
common.buy 80.87 €
Audio-Vision: Sound on Screen Claudia Gorbman / Knjiga Mehka
common.buy 29.98 €
Industrial Fuels Joseph Stephenson / Knjiga Trda
common.buy 29.98 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Knjiga Mehka
common.buy 16.65 €
Heartbreaker Nick Louth / Knjiga Mehka
common.buy 17.66 €
Selling Modernity Pamela E. Swett / Knjiga Trda
common.buy 159.82 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Knjiga Mehka
common.buy 69.76 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Knjiga Mehka
common.buy 23.01 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Knjiga Trda
common.buy 119.03 €
Biology of Memory G. Adam / Knjiga Mehka
common.buy 48.76 €
Cairo Trilogy Naguib Mahfouz / Knjiga Trda
common.buy 29.47 €
Talk Fiction Irene Kacandes / Knjiga Mehka
common.buy 36.14 €
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 Trda
common.buy 136.40 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?