- 5 Ergebnisse
Kleinster Preis: € 52,46, größter Preis: € 105,67, Mittelwert: € 69,07
1
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Freek Wiedijk
Bestellen
bei ZVAB.com
€ 52,46
Versand: € 0,001
Bestellengesponserter Link
Freek Wiedijk:

Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Taschenbuch

2003, ISBN: 354014031X

[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Freek Wiedijk
Bestellen
bei AbeBooks.de
€ 78,74
Versand: € 0,001
Bestellengesponserter Link

Freek Wiedijk:

Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Taschenbuch

2003, ISBN: 354014031X

[EAN: 9783540140313], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVELAMBDACALCUL… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
Types for Proofs and Programs - Freek Wiedijk
Bestellen
bei AbeBooks.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Freek Wiedijk:
Types for Proofs and Programs - Taschenbuch

2003

ISBN: 354014031X

[EAN: 9783540140313], Neubuch, [PU: Springer Berlin Heidelberg Apr 2003], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVELAM… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
4
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv - neues Buch

2002, ISBN: 9783540140313

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

new in stock. Versandkosten:zzgl. Versandkosten.
5
Types for Proofs and Programs by Herman Geuvers Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 151,95
(ca. € 105,67)
Bestellengesponserter Link
Types for Proofs and Programs by Herman Geuvers Paperback | Indigo Chapters - neues Buch

2002, ISBN: 9783540140313

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

new in stock. Versandkosten:zzgl. Versandkosten.

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: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv

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: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv


EAN (ISBN-13): 9783540140313
ISBN (ISBN-10): 354014031X
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg Core >1
344 Seiten
Gewicht: 0,520 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-18T05:19:50+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-01-19T18:58:33+01:00 (Zurich)
ISBN/EAN: 354014031X

ISBN - alternative Schreibweisen:
3-540-14031-X, 978-3-540-14031-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: freek, peter berg, girard, jean berg, berg martin, yves martin, martin held
Titel des Buches: berg 2002, selected papers, netherlands, proofs and types, berg dal, second april, computer type, international and programs


Daten vom Verlag:

Autor/in: Herman Geuvers; Freek Wiedijk
Titel: Lecture Notes in Computer Science; Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Verlag: Springer; Springer Berlin
336 Seiten
Erscheinungsjahr: 2003-04-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
CCCXLIV, 336 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; 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; Software Engineering; Humanities and Social Sciences; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Interdisziplinäre Studien; Theoretische Informatik; Compiler und Übersetzer; EA

(Co-)Iteration for Higher-Order Nested Datatypes.- Program Extraction in Simply-Typed Higher Order Logic.- General Recursion in Type Theory.- Using Theory Morphisms for Implementing Formal Methods Tools.- Subsets, Quotients and Partial Functions in Martin-Löf’s Type Theory.- Mathematical Quotients and Quotient Types in Coq.- A Constructive Formalization of the Fundamental Theorem of Calculus.- Two Behavioural Lambda Models.- A Unifying Approach to Recursive and Co-recursive Definitions.- Holes with Binding Power.- Typing with Conditions and Guarantees for Functional In-place Update.- A New Extraction for Coq.- Weak Transitivity in Coercive Subtyping.- The Not So Simple Proof-Irrelevant Model of CC.- Structured Proofs in Isar/HOL.- Java as a Functional Programming Language.- Monad Translating Inductive and Coinductive Types.- A Finite First-Order Presentation of Set Theory.

< zum Archiv...