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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

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 10.12 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Buch Broschur
common.buy 58.53 €
Restaurant and Bar Design II Zheng Siyu / Buch Hardcover
common.buy 81.42 €
Seeing Angels Emma Heathcote-James / Buch Hardcover
common.buy 27.13 €
Christmas Wish Gregory Porter / Audio Audio Vinyl
common.buy 31.29 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Buch Broschur
common.buy 71.19 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Buch Hardcover
common.buy 111.10 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Buch Hardcover
common.buy 35.44 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Buch Broschur
common.buy 218.66 €
Demnächst
Bloody Provost R.A.J. Tyler / Buch Hardcover
common.buy 21.26 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Buch Broschur
common.buy 40.20 €
Struggle for Recognition in International Relations Murray / Buch Hardcover
common.buy 88.51 €
Audio-Vision: Sound on Screen Claudia Gorbman / Buch Broschur
common.buy 33.01 €
Industrial Fuels Joseph Stephenson / Buch Hardcover
common.buy 33.21 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Buch Broschur
common.buy 18.42 €
Heartbreaker Nick Louth / Buch Broschur
common.buy 19.64 €
Selling Modernity Pamela E. Swett / Buch Hardcover
common.buy 175.21 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Buch Broschur
common.buy 75.85 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Buch Broschur
common.buy 26.12 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Buch Hardcover
common.buy 130.24 €
Biology of Memory G. Adam / Buch Broschur
common.buy 51.75 €
Cairo Trilogy Naguib Mahfouz / Buch Hardcover
common.buy 31.69 €
Talk Fiction Irene Kacandes / Buch Broschur
common.buy 39.59 €
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.31 €

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?