- 5 Ergebnisse
Kleinster Preis: € 2,50, größter Preis: € 69,85, Mittelwert: € 49,60
1
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers - Peter Dybjer
Bestellen
bei ZVAB.com
€ 56,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Peter Dybjer:

Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers - Taschenbuch

1995, ISBN: 3540605797

[EAN: 9783540605799], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; EDV THEORIE INFORMATIK ALLGEMEINES; BEWEISTHEORIE; COQ; ISABELLE; LAMBDACALCULUS; LAMBDA-K… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers Peter Dybjer Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers Peter Dybjer Editor - neues Buch

ISBN: 9783540605799

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… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 75,51
(ca. € 69,85)
Versand: € 11,721
Bestellen
Details beim Anbieter
gesponserter Link
Peter Dybjer:
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers - Taschenbuch

ISBN: 9783540605799

Paperback / softback. New. The papers in this collection address various aspects of developing computer-assisted proofs and programs using a logical framework. The text deals with type t… Mehr…

Versandkosten: EUR 11.72 The Saint Bookstore
zuklappen (X)
4
Types for Proofs and Programs: International Workshop TYPES 94, Bastad, Sweden, June 6-10, 1994. Se
Bestellen
bei AbeBooks.de
€ 2,50
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Types for Proofs and Programs: International Workshop TYPES 94, Bastad, Sweden, June 6-10, 1994. Se - Taschenbuch

1995, ISBN: 3540605797

[EAN: 9783540605799], [PU: Springer], Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN … Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00) medimops, Berlin, Germany [55410863] [Rating: 5 (von 5)]
zuklappen (X)
5
Types for Proofs and Programs - Peter Dybjer; Bengt Nordström; Jan Smith
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Peter Dybjer; Bengt Nordström; Jan Smith:
Types for Proofs and Programs - Taschenbuch

1995, ISBN: 9783540605799

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Buch, Softcover, 1995, [PU: Springer Berlin], Springer Berlin, 1995

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers Peter Dybjer Editor
Autor:
Titel:
ISBN-Nummer:

9783540605799


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.

Detailangaben zum Buch - Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers Peter Dybjer Editor


EAN (ISBN-13): 9783540605799
ISBN (ISBN-10): 3540605797
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin Heidelberg Core >1 >T
220 Seiten
Gewicht: 0,339 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-30T13:38:17+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-03T00:09:01+02:00 (Berlin)
ISBN/EAN: 9783540605799

ISBN - alternative Schreibweisen:
3-540-60579-7, 978-3-540-60579-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: smith peter, jan smith, nordström, nordstrom, peter held, springer peter
Titel des Buches: proofs and types, workshop 1994, selected papers, 1994 band, sweden, computer type, international and programs, typ, june june

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)

< zum Archiv...