Saxo Access
Indkøbskurv
  3. Types for Proofs and Programs
Types for Proofs and Programs (e-bog) af -
McBride, Conor (redaktør)

Types for Proofs and Programs e-bog

436,85 DKK (inkl. moms 546,06 DKK)
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of m...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere McBride, Conor (redaktør)
Forlag Springer
Udgivet 13 september 2007
Genrer UMC
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540744641

Beskrivelse

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.