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 '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
Nakladateľstvo Springer, Berlin, november 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... 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

Gömülü Samdan Stefan Zweig / Kniha Brožovaná
common.buy 10.22 €
Waylon university. La sfida Ilsa Madden-Mills / Kniha Brožovaná
common.buy 26.12 €
O Principezinho de Saint-Exupéry Antoine / Kniha Brožovaná
common.buy 11.23 €
Mein 24. Dezember Daniela Kunerl / Kniha List
common.buy 19.84 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Kniha Brožovaná
common.buy 61.37 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Kniha Brožovaná
common.buy 21.56 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Kniha Brožovaná
common.buy 22.88 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Kniha Brožovaná
common.buy 14.88 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Kniha Brožovaná
common.buy 22.98 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Kniha binding.
common.buy 60.35 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Kniha Brožovaná
common.buy 28.75 €
Lyrikanalyse Natascha Bea / Kniha Brožovaná
common.buy 14.47 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Kniha Pevná
common.buy 18.63 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Kniha Brožovaná
common.buy 38.38 €
Edemocracy & Egovernment Andreas Meier / Kniha Brožovaná
common.buy 42.53 €
Correr, comer, vivir SCOTT JUREK / Kniha Brožovaná
common.buy 18.12 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Kniha Pevná
common.buy 5.66 €
Asturiana Susaeta / Kniha Brožovaná
common.buy 8.40 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Kniha Brožovaná
common.buy 11.54 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Kniha Brožovaná
common.buy 21.97 €
Elisa und der Schatten Napoleons Christine Fischer / Kniha Brožovaná
common.buy 12.65 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Kniha Brožovaná
common.buy 43.85 €
Kurz odblokování čaker Ega Rasch / Kniha Pevná
common.buy 9.51 €
Charlie se convierte en T-Rex SAM COPELAND / Kniha Pevná
common.buy 21.46 €

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 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 Peter Dybjer, Bengt Nordström, Jan Smith
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1995
Počet strán 210
EAN 9783540605799
ISBN 3540605797
Libristo kód 05274523
Nakladateľstvo Springer, Berlin
Váha 294
Rozmery 155 x 233 x 12

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ť

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Kniha Brožovaná
common.buy 18.32 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Kniha Brožovaná
common.buy 7.28 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Kniha Brožovaná
common.buy 9.41 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Kniha Brožovaná
common.buy 26.53 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Kniha Brožovaná
common.buy 18.32 €
Top
No Period. Now What? Nicola J Rinaldi / Kniha Brožovaná
common.buy 25.61 €
Top
NIV Holy Bible (Hodder Classics) New International Version / Kniha Brožovaná
common.buy 7.48 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Kniha Brožovaná
common.buy 35.54 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Kniha Brožovaná
common.buy 10.73 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Kniha Brožovaná
common.buy 7.28 €
How to clerk a track meet MR G K Butts / Kniha Brožovaná
common.buy 14.07 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Kniha Brožovaná
common.buy 16.60 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Kniha Brožovaná
common.buy 14.88 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Kniha Brožovaná
common.buy 22.68 €
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 35.54 €
Pripravujeme
Introduction to Quantized Fields Christopher James Bostock / Kniha Pevná
common.buy 57.62 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Kniha Brožovaná
common.buy 7.28 €
Nové
The Idea of China Guoqi Xu / Kniha Pevná
common.buy 36.65 €
Bali Travel Map Tenth Edition Periplus Editions / Tlačovina Mapa
common.buy 7.28 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Kniha Pevná
common.buy 21.77 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Kniha Brožovaná
common.buy 8.40 €
BETTER BROKEN ROGERS SEAN J / Kniha Pevná
common.buy 28.55 €
Popularmmos Presents the End of All the Things Danielle Jones / Kniha Brožovaná
common.buy 12.04 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiokniha MP3
common.buy 17.61 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?