Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Paperback
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Paperback
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [PU: Springer Berlin Heidelberg Apr 2003], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVELAM… More...
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
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… More...
BarnesandNoble.com new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - new book
2003, ISBN: 354014031X
2003 Kartoniert / Broschiert Programmieren (EDV), Typ - Typus - Typik, Interdisziplinäre Studien, Software Engineering, Theoretische Informatik, Coq; formalmethods; formalspecification;… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Paperback
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… More...
Freek Wiedijk:
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Paperback2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… More...
2003
ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [PU: Springer Berlin Heidelberg Apr 2003], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVELAM… More...
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… More...
Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - new book
2003, ISBN: 354014031X
2003 Kartoniert / Broschiert Programmieren (EDV), Typ - Typus - Typik, Interdisziplinäre Studien, Software Engineering, Theoretische Informatik, Coq; formalmethods; formalspecification;… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - 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
Paperback
Publishing year: 2003
Publisher: Springer Berlin Heidelberg Core >1
344 Pages
Weight: 0,520 kg
Language: eng/Englisch
Book in our database since 2007-05-18T04:19:50+01:00 (London)
Detail page last modified on 2024-04-02T23:09:02+01:00 (London)
ISBN/EAN: 354014031X
ISBN - alternate spelling:
3-540-14031-X, 978-3-540-14031-3
Alternate spelling and related search-keywords:
Book author: freek, peter berg, girard, jean berg, berg martin, yves martin, martin held
Book title: berg 2002, selected papers, netherlands, proofs and types, berg dal, second april, computer type, international and programs
Information from Publisher
Author: Herman Geuvers; Freek Wiedijk
Title: 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
Publisher: Springer; Springer Berlin
336 Pages
Publishing year: 2003-04-28
Berlin; Heidelberg; DE
Language: English
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.More/other books that might be very similar to this book
Latest similar book:
9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540248491 Types for Proofs and Programs (Stefano Berardi; Mario Coppo; Ferruccio Damiani)
- 9783540221647 Types for Proofs and Programs (Berardi, Stefano Coppo, Mario Damiani, Ferruccio)
- 9783540314288 Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839, Band 3839) (Jean-Christophe Ed. Filliatre)
< to archive...