Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 383 Kč
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 886 Kč
Zadní pokoj Jorn Lier Horst / Kniha Pevná
common.buy 319 Kč
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Kniha Brožovaná
common.buy 696 Kč
Vive l'Europe ! Bizet Kniha Brožovaná
common.buy 401 Kč
Top
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Kniha Brožovaná
common.buy 314 Kč
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Hra/Hračka Hra
common.buy 326 Kč
AUTOFAGIA VENTURA MEDINA / Kniha Brožovaná
common.buy 604 Kč
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Kniha Brožovaná
common.buy 777 Kč
Brainstorming Andrea Windolph / Kniha Brožovaná
common.buy 219 Kč
Weidenrute und Schwert Gerwalt Richardson / Kniha Brožovaná
common.buy 338 Kč
Leiden unsers Herren Jesu Christi Johannes Brassart / Kniha Brožovaná
common.buy 477 Kč
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Kniha Brožovaná
common.buy 336 Kč
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Kniha Brožovaná
common.buy 969 Kč
Ludwig II. Christine Tauber / Kniha Pevná
common.buy 262 Kč
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Kniha Brožovaná
common.buy 402 Kč
Artesanias María Leonor Aguilar García / Kniha Brožovaná
common.buy 629 Kč
Musikgeschichte(n) HANS BA LER / Kniha binding.
common.buy 825 Kč
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Kniha Brožovaná
common.buy 1 077 Kč
Připravujeme
Die Herren von Greifenklau Karl May / Kniha Pevná
common.buy 607 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Types for Proofs and Programs
Autor Stefano Berardi, Mario Coppo
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 298
EAN 9783540617808
ISBN 3540617809
Libristo kód 05274627
Nakladatelství Springer, Berlin
Váha 474
Rozměry 156 x 234 x 16

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Top
Bones & All Camille DeAngelis / Kniha Brožovaná
common.buy 241 Kč
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Kniha Brožovaná
common.buy 1 349 Kč
Restaurant and Bar Design II Zheng Siyu / Kniha Pevná
common.buy 1 964 Kč
Seeing Angels Emma Heathcote-James / Kniha Pevná
common.buy 618 Kč
Připravujeme
Christmas Wish Gregory Porter / Audio Audio vinyl
common.buy 730 Kč
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Kniha Brožovaná
common.buy 1 721 Kč
2 Peter and Jude - Concordia Commentary Curtis Giese / Kniha Pevná
common.buy 2 350 Kč
Spatial Analysis for Complex Territorial Systems Luca Salvati / Kniha Brožovaná
common.buy 4 624 Kč
Připravujeme
Bloody Provost R.A.J. Tyler / Kniha Pevná
common.buy 479 Kč
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Kniha Brožovaná
common.buy 881 Kč
Struggle for Recognition in International Relations Murray / Kniha Pevná
common.buy 1 872 Kč
Audio-Vision: Sound on Screen Claudia Gorbman / Kniha Brožovaná
common.buy 826 Kč
Industrial Fuels Joseph Stephenson / Kniha Pevná
common.buy 728 Kč
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Kniha Brožovaná
common.buy 403 Kč
Heartbreaker Nick Louth / Kniha Brožovaná
common.buy 338 Kč
Selling Modernity Pamela E. Swett / Kniha Pevná
common.buy 3 874 Kč
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Kniha Brožovaná
common.buy 1 690 Kč
What Did the Biblical Writers Know and When Did They Know it? Dever / Kniha Brožovaná
common.buy 625 Kč
Spoken Natural Language Dialog Systems Ronnie W. Smith / Kniha Pevná
common.buy 2 754 Kč
Biology of Memory G. Adam / Kniha Brožovaná
common.buy 1 250 Kč
Cairo Trilogy Naguib Mahfouz / Kniha Pevná
common.buy 664 Kč
Talk Fiction Irene Kacandes / Kniha Brožovaná
common.buy 876 Kč
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 3 520 Kč
Charlatans or Saviours? Roger Middleton / Kniha Pevná
common.buy 5 409 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?