Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 354014031X ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 3,20 €, größter Preis: 98,30 €, Mittelwert: 67,13 €
Types for Proofs and Programs - Geuvers, Herman / Wiedijk, Freek (eds.)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Geuvers, Herman / Wiedijk, Freek (eds.):
Types for Proofs and Programs - Taschenbuch

2003, ISBN: 9783540140313

[ED: Softcover], [PU: Springer, Berlin], These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: "Constructive Validity Revisited" by Dana Scott, "From the Rules of Logic to the Logic of Rules" by Jean-Yves Girard, and "The Varieties of Type Theories" by Peter Aczel. The contents of these contributions were not laid down in these proceedings, but the videos of the talks and the slides used by the speakers are available at cs. kun. nl/fnds/MartinLoefDay/LoefTalks. htm The previous workshop of the Types Working Group under EUIST project 29001 was held in 2000 in Durham, UK. The workshops Types 2000 and Types 2002 followed a series of meetings organized in the period 1993 - 1999 whithin previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these earlier Types workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 1956 and 2277. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: - sign, Implementation and Experiments.2003. cccxliv, 336 S. CCCXLIV, 336 p. 235 mmVersandfertig in 3-5 Tagen, [SC: 0.00]

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science) - Herman Geuvers, Freek Wiedijk
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Herman Geuvers, Freek Wiedijk:
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch

2002, ISBN: 354014031X

Taschenbuch, [EAN: 9783540140313], Springer, Springer, Book, [PU: Springer], Springer, Types for Proofs and Programs: v.2646 This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems d... Full description, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Fachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
g-e-t-b-o-o-k-s
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selecte
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selecte - neues Buch

2002, ISBN: 9783540140313

ID: 978354014031

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL. Books, Computers, Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selecte Books>Computers, Springer Berlin Heidelberg

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selecte - Geuvers, Herman / Wiedijk, Freek
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Geuvers, Herman / Wiedijk, Freek:
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selecte - gebrauchtes Buch

2002, ISBN: 9783540140313

ID: 7942850

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL. Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers Geuvers, Herman / Wiedijk, Freek, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs - Herman Geuvers; Freek Wiedijk
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Herman Geuvers; Freek Wiedijk:
Types for Proofs and Programs - neues Buch

ISBN: 9783540140313

ID: 9783540140313

Computer Science; Software Engineering/Programming and Operating Systems; Science, Humanities and Social Sciences, multidisciplinary; Theory of Computation; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages Coq, formal methods, formal specification, formal verification, inductive types, lambda calculus, program semantics, programming, programming logic, programming theory, proof theory, rewriting systems, subtyping, type systems, types Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Types for Proofs and Programs

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.

Detailangaben zum Buch - Types for Proofs and Programs


EAN (ISBN-13): 9783540140313
ISBN (ISBN-10): 354014031X
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer-Verlag GmbH
344 Seiten
Gewicht: 0,520 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 18.05.2007 05:19:50
Buch zuletzt gefunden am 15.07.2017 16:41:15
ISBN/EAN: 354014031X

ISBN - alternative Schreibweisen:
3-540-14031-X, 978-3-540-14031-3


< zum Archiv...
Benachbarte Bücher