Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Types for Proofs and Programs

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Stefano Berardi
Libristo kód: 05274627
Nakladateľstvo Springer, Berlin, november 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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 36.86 €
Zadní pokoj Jorn Lier Horst / Kniha Pevná
common.buy 13.16 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Kniha Brožovaná
common.buy 28.96 €
Vive l'Europe ! Bizet Kniha Brožovaná
common.buy 16.80 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Kniha Brožovaná
common.buy 12.35 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Hra/Hračka Hra
common.buy 13.56 €
AUTOFAGIA VENTURA MEDINA / Kniha Brožovaná
common.buy 25.01 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Kniha Brožovaná
common.buy 32.10 €
Brainstorming Andrea Windolph / Kniha Brožovaná
common.buy 9.00 €
Weidenrute und Schwert Gerwalt Richardson / Kniha Brožovaná
common.buy 14.07 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Kniha Brožovaná
common.buy 19.74 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Kniha Brožovaná
common.buy 13.87 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Kniha Brožovaná
common.buy 43.95 €
Ludwig II. Christine Tauber / Kniha Pevná
common.buy 10.83 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Kniha Brožovaná
common.buy 16.60 €
Artesanias María Leonor Aguilar García / Kniha Brožovaná
common.buy 26.02 €
Musikgeschichte(n) HANS BA LER / Kniha binding.
common.buy 34.32 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Kniha Brožovaná
common.buy 44.55 €
Die Herren von Greifenklau Karl May / Kniha Pevná
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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Types for Proofs and Programs
Autor Stefano Berardi, Mario Coppo
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1996
Počet strán 298
EAN 9783540617808
ISBN 3540617809
Libristo kód 05274627
Nakladateľstvo Springer, Berlin
Váha 474
Rozmery 156 x 234 x 16

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet