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 '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Peter Dybjer
Libristo kód: 05274523
Nakladatelství Springer, Berlin, listopad 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Gömülü Samdan Stefan Zweig / Kniha Brožovaná
common.buy 234 Kč
Waylon university. La sfida Ilsa Madden-Mills / Kniha Brožovaná
common.buy 597 Kč
O Principezinho de Saint-Exupéry Antoine / Kniha Brožovaná
common.buy 272 Kč
Mein 24. Dezember Daniela Kunerl / Kniha List
common.buy 451 Kč
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Kniha Brožovaná
common.buy 1 400 Kč
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Kniha Brožovaná
common.buy 522 Kč
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Kniha Brožovaná
common.buy 554 Kč
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Kniha Brožovaná
common.buy 360 Kč
LE GUIDE DU PREMIER TATOUAGE TATTOO / Kniha Brožovaná
common.buy 555 Kč
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Kniha binding.
common.buy 1 458 Kč
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Kniha Brožovaná
common.buy 695 Kč
Lyrikanalyse Natascha Bea / Kniha Brožovaná
common.buy 328 Kč
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Kniha Pevná
common.buy 450 Kč
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Kniha Brožovaná
common.buy 874 Kč
Edemocracy & Egovernment Andreas Meier / Kniha Brožovaná
common.buy 972 Kč
Correr, comer, vivir SCOTT JUREK / Kniha Brožovaná
common.buy 438 Kč
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Kniha Pevná
common.buy 131 Kč
Asturiana Susaeta / Kniha Brožovaná
common.buy 204 Kč
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Kniha Brožovaná
common.buy 319 Kč
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Kniha Brožovaná
common.buy 505 Kč
Elisa und der Schatten Napoleons Christine Fischer / Kniha Brožovaná
common.buy 289 Kč
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Kniha Brožovaná
common.buy 997 Kč
Kurz odblokování čaker Ega Rasch / Kniha Pevná
common.buy 221 Kč
Charlie se convierte en T-Rex SAM COPELAND / Kniha Pevná
common.buy 490 Kč

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set 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 Peter Dybjer, Bengt Nordström, Jan Smith
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 210
EAN 9783540605799
ISBN 3540605797
Libristo kód 05274523
Nakladatelství Springer, Berlin
Váha 294
Rozměry 155 x 233 x 12

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

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Kniha Brožovaná
common.buy 444 Kč
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Kniha Brožovaná
common.buy 176 Kč
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Kniha Brožovaná
common.buy 227 Kč
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Kniha Brožovaná
common.buy 641 Kč
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Kniha Brožovaná
common.buy 444 Kč
Top
No Period. Now What? Nicola J Rinaldi / Kniha Brožovaná
common.buy 589 Kč
Top
NIV Holy Bible (Hodder Classics) New International Version / Kniha Brožovaná
common.buy 161 Kč
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Kniha Brožovaná
common.buy 858 Kč
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Kniha Brožovaná
common.buy 259 Kč
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Kniha Brožovaná
common.buy 176 Kč
How to clerk a track meet MR G K Butts / Kniha Brožovaná
common.buy 340 Kč
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Kniha Brožovaná
common.buy 402 Kč
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Kniha Brožovaná
common.buy 361 Kč
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Kniha Brožovaná
common.buy 548 Kč
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Kniha Pevná
common.buy 858 Kč
Připravujeme
Introduction to Quantized Fields Christopher James Bostock / Kniha Pevná
common.buy 1 315 Kč
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Kniha Brožovaná
common.buy 176 Kč
Nové
The Idea of China Guoqi Xu / Kniha Pevná
common.buy 836 Kč
Bali Travel Map Tenth Edition Periplus Editions / Tiskovina Mapa
common.buy 175 Kč
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Kniha Pevná
common.buy 525 Kč
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Kniha Brožovaná
common.buy 191 Kč
BETTER BROKEN ROGERS SEAN J / Kniha Pevná
common.buy 645 Kč
Popularmmos Presents the End of All the Things Danielle Jones / Kniha Brožovaná
common.buy 292 Kč
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiokniha MP3
common.buy 426 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?