Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Types for Proofs and Programs

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Types for Proofs and Programs Peter Dybjer
Κωδικός Libristo: 05274523
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Πλήρης περιγραφή
? points 125 b
51.75 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

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

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Types for Proofs and Programs
Συγγραφέας Peter Dybjer, Bengt Nordström, Jan Smith
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 1995
Αριθμός σελίδων 210
EAN 9783540605799
ISBN 3540605797
Κωδικός Libristo 05274523
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 294
Διαστάσεις 155 x 233 x 12

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Βιβλίο Χαρτόδετο
common.buy 20.35 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Βιβλίο Χαρτόδετο
common.buy 8.09 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Βιβλίο Χαρτόδετο
common.buy 10.42 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Βιβλίο Χαρτόδετο
common.buy 29.16 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Βιβλίο Χαρτόδετο
common.buy 20.35 €
Τοπ
No Period. Now What? Nicola J Rinaldi / Βιβλίο Χαρτόδετο
common.buy 28.25 €
Τοπ
NIV Holy Bible (Hodder Classics) New International Version / Βιβλίο Χαρτόδετο
common.buy 7.69 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Βιβλίο Χαρτόδετο
common.buy 39.19 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Βιβλίο Χαρτόδετο
common.buy 11.84 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Βιβλίο Χαρτόδετο
common.buy 8.09 €
How to clerk a track meet MR G K Butts / Βιβλίο Χαρτόδετο
common.buy 15.59 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Βιβλίο Χαρτόδετο
common.buy 18.42 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Βιβλίο Χαρτόδετο
common.buy 16.50 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Βιβλίο Χαρτόδετο
common.buy 25.11 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Βιβλίο Σκληρόδετο
common.buy 40.20 €
Προετοιμαζουμε
Introduction to Quantized Fields Christopher James Bostock / Βιβλίο Σκληρόδετο
common.buy 57.62 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Βιβλίο Χαρτόδετο
common.buy 8.09 €
Νέα
The Idea of China Guoqi Xu / Βιβλίο Σκληρόδετο
common.buy 36.65 €
Bali Travel Map Tenth Edition Periplus Editions / Έντυπα Χάρτης
common.buy 8.19 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Βιβλίο Σκληρόδετο
common.buy 24.60 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Βιβλίο Χαρτόδετο
common.buy 9.51 €
BETTER BROKEN ROGERS SEAN J / Βιβλίο Σκληρόδετο
common.buy 28.55 €
Popularmmos Presents the End of All the Things Danielle Jones / Βιβλίο Χαρτόδετο
common.buy 13.66 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Ακουστικό βιβλίο MP3
common.buy 17.61 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo