Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Types for Proofs and Programs Peter Dybjer
Libristo kod: 05274523
Nakladnici Springer, Berlin, studeni 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Gömülü Samdan Stefan Zweig / Knjiga Meki uvez
common.buy 10.20 €
Waylon university. La sfida Ilsa Madden-Mills / Knjiga Meki uvez
common.buy 26.06 €
O Principezinho de Saint-Exupéry Antoine / Knjiga Meki uvez
common.buy 10.80 €
Mein 24. Dezember Daniela Kunerl / Knjiga List
common.buy 19.80 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Knjiga Meki uvez
common.buy 61.23 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Knjiga Meki uvez
common.buy 20.50 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Knjiga Meki uvez
common.buy 21.92 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Knjiga Meki uvez
common.buy 14.84 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Knjiga Meki uvez
common.buy 21.92 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Knjiga binding.
common.buy 57.39 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Knjiga Meki uvez
common.buy 27.38 €
Lyrikanalyse Natascha Bea / Knjiga Meki uvez
common.buy 14.44 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Knjiga Tvrdi uvez
common.buy 19.59 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Knjiga Meki uvez
common.buy 38.29 €
Edemocracy & Egovernment Andreas Meier / Knjiga Meki uvez
common.buy 42.43 €
Correr, comer, vivir SCOTT JUREK / Knjiga Meki uvez
common.buy 18.08 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Knjiga Tvrdi uvez
common.buy 5.65 €
Asturiana Susaeta / Knjiga Meki uvez
common.buy 7.97 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Knjiga Meki uvez
common.buy 13.03 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Knjiga Meki uvez
common.buy 21.92 €
Elisa und der Schatten Napoleons Christine Fischer / Knjiga Meki uvez
common.buy 12.62 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Knjiga Meki uvez
common.buy 43.75 €
Kurz odblokování čaker Ega Rasch / Knjiga Tvrdi uvez
common.buy 9.69 €
Charlie se convierte en T-Rex SAM COPELAND / Knjiga Tvrdi uvez
common.buy 21.41 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Types for Proofs and Programs
Autor Peter Dybjer, Bengt Nordström, Jan Smith
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1995
Broj stranica 210
EAN 9783540605799
ISBN 3540605797
Libristo kod 05274523
Nakladnici Springer, Berlin
Težina 294
Dimenzije 155 x 233 x 12

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Knjiga Meki uvez
common.buy 19.29 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Knjiga Meki uvez
common.buy 7.67 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Knjiga Meki uvez
common.buy 9.89 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Knjiga Meki uvez
common.buy 27.78 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Knjiga Meki uvez
common.buy 19.29 €
Top
No Period. Now What? Nicola J Rinaldi / Knjiga Meki uvez
common.buy 26.87 €
Top
NIV Holy Bible (Hodder Classics) New International Version / Knjiga Meki uvez
common.buy 7.67 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Knjiga Meki uvez
common.buy 37.28 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Knjiga Meki uvez
common.buy 11.21 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Knjiga Meki uvez
common.buy 7.67 €
How to clerk a track meet MR G K Butts / Knjiga Meki uvez
common.buy 14.84 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Knjiga Meki uvez
common.buy 17.47 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Knjiga Meki uvez
common.buy 15.65 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Knjiga Meki uvez
common.buy 23.84 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Knjiga Tvrdi uvez
common.buy 37.78 €
Pripremamo
Introduction to Quantized Fields Christopher James Bostock / Knjiga Tvrdi uvez
common.buy 57.49 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Knjiga Meki uvez
common.buy 7.67 €
Novo
The Idea of China Guoqi Xu / Knjiga Tvrdi uvez
common.buy 34.55 €
Bali Travel Map Tenth Edition Periplus Editions / Tiskanica Mapa
common.buy 7.67 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Knjiga Tvrdi uvez
common.buy 23.13 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Knjiga Meki uvez
common.buy 8.98 €
BETTER BROKEN ROGERS SEAN J / Knjiga Tvrdi uvez
common.buy 28.49 €
Popularmmos Presents the End of All the Things Danielle Jones / Knjiga Meki uvez
common.buy 12.82 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audio knjiga MP3
common.buy 16.66 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun