Gesamtpreis (1 Artikel Artikel):
Versandziel:
types proofs programs international von dybjer peter (14 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (14)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (9)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (14)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (6)
- Keine Print-on-Demand Angebote (14)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540415173 ISBN 13: 9783540415176
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at L okeberg in the rural area north of G oteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the working group were held in Aussois, France, in December 1996 and in Irsee, Germany, in March 1998. The proc- dings of those workshops appear as LNCS Vol. 1512 (edited by Christine Paulin- Mohring and Eduardo Gimenez) and LNCS Vol. 1657 (edited by Thorsten - tenkirch, Wolfgang Naraschewski, and Bernhard Reus). These workshops are, in turn, a continuation of the meetings organized in 1993, 1994, and 1995 under the auspices of the Esprit Basic Research Action 6453 Types for Proofs and Programs. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 996, 1994) and by Stefano Berardi and Mario Coppo (Vol. 1158, 1995). The Esprit BRA 6453 was a continuation of the former Esprit Action 3245 Logical Frameworks: - sign, Implementation and Experiments. The articles from the annual workshops organized under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical Environments, both published by Cambridge University Press.
-
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Verlag: Springer Berlin Heidelberg, 1995
ISBN 10: 3540605797 ISBN 13: 9783540605799
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,98
Währung umrechnenEUR 5,71 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,11
Währung umrechnenEUR 17,25 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,24
Währung umrechnenEUR 14,89 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,41
Währung umrechnenEUR 14,89 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,35
Währung umrechnenEUR 17,19 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 32,91
Währung umrechnenEUR 64,71 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 38,89
Währung umrechnenEUR 64,71 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,57
Währung umrechnenEUR 64,71 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,92
Währung umrechnenEUR 64,71 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 129,82
Währung umrechnenEUR 17,19 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Types for Proofs and Programs: International Workshop, TYPES*99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers (Lecture Notes in Computer Science (1956))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 120,39
Währung umrechnenEUR 28,65 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 150,32
Währung umrechnenEUR 17,25 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
