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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Types for Proofs and Programs Stefano Berardi
Libristo-Code: 05274627
Verlag Springer, Berlin, November 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 17.19 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 29.89 €
Zadní pokoj Jorn Lier Horst / Buch Hardcover
common.buy 12.69 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Buch Broschur
common.buy 23.49 €
Vive l'Europe ! Bizet Buch Broschur
common.buy 13.59 €
Top
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Buch Broschur
common.buy 12.79 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Spiel/Spielzeug Spiel
common.buy 11.99 €
AUTOFAGIA VENTURA MEDINA / Buch Broschur
common.buy 22.59 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Buch Broschur
common.buy 35.90 €
Brainstorming Andrea Windolph / Buch Broschur
common.buy 9.90 €
Weidenrute und Schwert Gerwalt Richardson / Buch Broschur
common.buy 12.99 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Buch Broschur
common.buy 21.90 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Buch Broschur
common.buy 12.29 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Buch Broschur
common.buy 39.59 €
Ludwig II. Christine Tauber / Buch Hardcover
common.buy 9.95 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Buch Broschur
common.buy 14.69 €
Artesanias María Leonor Aguilar García / Buch Broschur
common.buy 25.69 €
Musikgeschichte(n) HANS BA LER / Buch binding.
common.buy 27.79 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Buch Broschur
common.buy 43.99 €
Demnächst
Die Herren von Greifenklau Karl May / Buch Hardcover
common.buy 29.00 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type 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 Stefano Berardi, Mario Coppo
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1996
Anzahl der Seiten 298
EAN 9783540617808
ISBN 3540617809
Libristo-Code 05274627
Verlag Springer, Berlin
Gewicht 474
Abmessungen 156 x 234 x 16

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

Top
Bones & All Camille DeAngelis / Buch Broschur
common.buy 9.19 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Buch Broschur
common.buy 49.89 €
Restaurant and Bar Design II Zheng Siyu / Buch Hardcover
common.buy 66.29 €
Seeing Angels Emma Heathcote-James / Buch Hardcover
common.buy 28.19 €
Demnächst
Christmas Wish Gregory Porter / Audio Audio Vinyl
common.buy 28.09 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Buch Broschur
common.buy 70.29 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Buch Hardcover
common.buy 91.39 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Buch Broschur
common.buy 179.89 €
Demnächst
Bloody Provost R.A.J. Tyler / Buch Hardcover
common.buy 18.19 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Buch Broschur
common.buy 32.29 €
Struggle for Recognition in International Relations Murray / Buch Hardcover
common.buy 72.79 €
Audio-Vision: Sound on Screen Claudia Gorbman / Buch Broschur
common.buy 30.89 €
Industrial Fuels Joseph Stephenson / Buch Hardcover
common.buy 32.79 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Buch Broschur
common.buy 18.19 €
Heartbreaker Nick Louth / Buch Broschur
common.buy 12.99 €
Selling Modernity Pamela E. Swett / Buch Hardcover
common.buy 172.99 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Buch Broschur
common.buy 74.89 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Buch Broschur
common.buy 22.09 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Buch Hardcover
common.buy 107.19 €
Biology of Memory G. Adam / Buch Broschur
common.buy 51.09 €
Cairo Trilogy Naguib Mahfouz / Buch Hardcover
common.buy 27.09 €
Talk Fiction Irene Kacandes / Buch Broschur
common.buy 39.09 €
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Buch Hardcover
common.buy 143.79 €
Charlatans or Saviours? Roger Middleton / Buch Hardcover
common.buy 231.49 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?