Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Types for Proofs and Programs

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

Sprache EnglischEnglisch
Buch Broschur
Buch Types for Proofs and Programs Peter Dybjer
Libristo-Code: 05274523
Verlag Springer, Berlin, November 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Gömülü Samdan Stefan Zweig / Buch Broschur
common.buy 10.59 €
Waylon university. La sfida Ilsa Madden-Mills / Buch Broschur
common.buy 27.29 €
O Principezinho de Saint-Exupéry Antoine / Buch Broschur
common.buy 11.59 €
Mein 24. Dezember Daniela Kunerl / Buch Blatt
common.buy 21.99 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Buch Broschur
common.buy 64.90 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Buch Broschur
common.buy 22.39 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Buch Broschur
common.buy 23.49 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Buch Broschur
common.buy 14.69 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Buch Broschur
common.buy 23.69 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Buch binding.
common.buy 62.29 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Buch Broschur
common.buy 29.59 €
Lyrikanalyse Natascha Bea / Buch Broschur
common.buy 15.95 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Buch Hardcover
common.buy 21.59 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Buch Broschur
common.buy 42.95 €
Edemocracy & Egovernment Andreas Meier / Buch Broschur
common.buy 44.99 €
Correr, comer, vivir SCOTT JUREK / Buch Broschur
common.buy 19.39 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Buch Hardcover
common.buy 5.89 €
Asturiana Susaeta / Buch Broschur
common.buy 8.69 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Buch Broschur
common.buy 12.89 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Buch Broschur
common.buy 22.79 €
Elisa und der Schatten Napoleons Christine Fischer / Buch Broschur
common.buy 13.99 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Buch Broschur
common.buy 45.79 €
Kurz odblokování čaker Ega Rasch / Buch Hardcover
common.buy 9.59 €
Charlie se convierte en T-Rex SAM COPELAND / Buch Hardcover
common.buy 22.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Types for Proofs and Programs
Autor Peter Dybjer, Bengt Nordström, Jan Smith
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 210
EAN 9783540605799
ISBN 3540605797
Libristo-Code 05274523
Verlag Springer, Berlin
Gewicht 294
Abmessungen 155 x 233 x 12

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Buch Broschur
common.buy 20.09 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Buch Broschur
common.buy 7.99 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Buch Broschur
common.buy 10.29 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Buch Broschur
common.buy 28.79 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Buch Broschur
common.buy 20.09 €
Top
No Period. Now What? Nicola J Rinaldi / Buch Broschur
common.buy 27.89 €
Top
NIV Holy Bible (Hodder Classics) New International Version / Buch Broschur
common.buy 8.09 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Buch Broschur
common.buy 38.69 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Buch Broschur
common.buy 11.69 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Buch Broschur
common.buy 7.99 €
How to clerk a track meet MR G K Butts / Buch Broschur
common.buy 15.39 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Buch Broschur
common.buy 18.19 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Buch Broschur
common.buy 16.29 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Buch Broschur
common.buy 24.79 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Buch Hardcover
common.buy 39.69 €
Demnächst
Introduction to Quantized Fields Christopher James Bostock / Buch Hardcover
common.buy 60.09 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Buch Broschur
common.buy 7.99 €
Neu
The Idea of China Guoqi Xu / Buch Hardcover
common.buy 38.19 €
Bali Travel Map Tenth Edition Periplus Editions / Drucksachen Karte
common.buy 8.09 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Buch Hardcover
common.buy 24.29 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Buch Broschur
common.buy 9.39 €
BETTER BROKEN ROGERS SEAN J / Buch Hardcover
common.buy 30.09 €
Popularmmos Presents the End of All the Things Danielle Jones / Buch Broschur
common.buy 13.49 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Hörbuch MP3
common.buy 18.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto