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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Peter Dybjer
Koda Libristo: 05274523
Založba Springer, Berlin, november 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Gömülü Samdan Stefan Zweig / Knjiga Mehka
common.buy 9.71 €
Waylon university. La sfida Ilsa Madden-Mills / Knjiga Mehka
common.buy 24.70 €
O Principezinho de Saint-Exupéry Antoine / Knjiga Mehka
common.buy 10.32 €
Mein 24. Dezember Daniela Kunerl / Knjiga Preglednica
common.buy 18.63 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Knjiga Mehka
common.buy 57.92 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Knjiga Mehka
common.buy 19.44 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Knjiga Mehka
common.buy 21.06 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Knjiga Mehka
common.buy 13.26 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Knjiga Mehka
common.buy 20.96 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Knjiga binding.
common.buy 54.78 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Knjiga Mehka
common.buy 26.22 €
Lyrikanalyse Natascha Bea / Knjiga Mehka
common.buy 13.56 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Knjiga Trda
common.buy 18.63 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Knjiga Mehka
common.buy 36.15 €
Edemocracy & Egovernment Andreas Meier / Knjiga Mehka
common.buy 40.20 €
Correr, comer, vivir SCOTT JUREK / Knjiga Mehka
common.buy 17.41 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Knjiga Trda
common.buy 5.46 €
Asturiana Susaeta / Knjiga Mehka
common.buy 7.69 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Knjiga Mehka
common.buy 12.24 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Knjiga Mehka
common.buy 20.85 €
Elisa und der Schatten Napoleons Christine Fischer / Knjiga Mehka
common.buy 11.94 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Knjiga Mehka
common.buy 41.21 €
Kurz odblokování čaker Ega Rasch / Knjiga Trda
common.buy 10.22 €
Charlie se convierte en T-Rex SAM COPELAND / Knjiga Trda
common.buy 20.25 €

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.

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 Peter Dybjer, Bengt Nordström, Jan Smith
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1995
Število strani 210
EAN 9783540605799
ISBN 3540605797
Koda Libristo 05274523
Založba Springer, Berlin
Teža 294
Mere 155 x 233 x 12

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

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

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?