Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - pocketboek
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: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 - pocketboek
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: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… Meer...
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: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… Meer...
BarnesandNoble.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - nieuw boek
2003, ISBN: 354014031X
2003 Kartoniert / Broschiert Programmieren (EDV), Typ - Typus - Typik, Interdisziplinäre Studien, Software Engineering, Theoretische Informatik, Coq; formalmethods; formalspecification;… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten: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 - pocketboek
2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… Meer...
Freek Wiedijk:
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - pocketboek2003, ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVEL… Meer...
2003
ISBN: 354014031X
[EAN: 9783540140313], Neubuch, [PU: Springer Berlin Heidelberg Apr 2003], PROGRAMMIEREN (EDV); TYP - TYPUS TYPIK; COQ; FORMALMETHODS; FORMALSPECIFICATION; FORMALVERIFICATION; INDUCTIVELAM… Meer...
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… Meer...
Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - nieuw boek
2003, ISBN: 354014031X
2003 Kartoniert / Broschiert Programmieren (EDV), Typ - Typus - Typik, Interdisziplinäre Studien, Software Engineering, Theoretische Informatik, Coq; formalmethods; formalspecification;… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - 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
pocket book
Verschijningsjaar: 2003
Uitgever: Springer Berlin Heidelberg Core >1
344 Bladzijden
Gewicht: 0,520 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-05-18T05:19:50+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-03T00:09:02+02:00 (Amsterdam)
ISBN/EAN: 9783540140313
ISBN - alternatieve schrijfwijzen:
3-540-14031-X, 978-3-540-14031-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: freek, peter berg, girard, jean berg, berg martin, yves martin, martin held
Titel van het boek: berg 2002, selected papers, netherlands, proofs and types, berg dal, second april, computer type, international and programs
Gegevens van de uitgever
Auteur: 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
Uitgeverij: Springer; Springer Berlin
336 Bladzijden
Verschijningsjaar: 2003-04-28
Berlin; Heidelberg; DE
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
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)
< naar Archief...