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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: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 - 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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: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… Mehr…
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: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… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - neues Buch
2003, ISBN: 354014031X
2003 Kartoniert / Broschiert Programmieren (EDV), Typ - Typus - Typik, Interdisziplinäre Studien, Software Engineering, Theoretische Informatik, Coq; formalmethods; formalspecification;… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten: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 - 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…
Freek Wiedijk:
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Taschenbuch2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… Mehr…
2003
ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [PU: Springer Berlin Heidelberg Apr 2003], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVELAM… Mehr…
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…
Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - neues Buch
2003, ISBN: 354014031X
2003 Kartoniert / Broschiert Programmieren (EDV), Typ - Typus - Typik, Interdisziplinäre Studien, Software Engineering, Theoretische Informatik, Coq; formalmethods; formalspecification;… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Berlin)
Detailseite zuletzt geändert am 2024-04-03T00:09:02+02:00 (Berlin)
ISBN/EAN: 9783540140313
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.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)
- 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)
< zum Archiv...