Vor Ort
Merkzettel Warenkorb
Produktbild: Certified Programs and Proofs
Band 7679

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

52,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.11.2012

Abbildungen

X, 305 p. 64 illus.

Herausgeber

Chris Hawblitzel + weitere

Verlag

Springer Berlin

Seitenzahl

305

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-35307-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.11.2012

Abbildungen

X, 305 p. 64 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

305

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-35307-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Certified Programs and Proofs
  • Scalable Formal Machine Models.- Mechanized Semantics for Compiler Verification.- Automation in Computer-Aided Cryptography: Proofs, Attacksand Designs.- Program Certification by Higher-Order Model Checking.- A Formally-Verified Alias Analysis.- Mechanized Verification of Computing Dominators for FormalizingCompilers.- On the Correctness of an Optimising Assembler for the Intel MCS-51Microprocessor.- An Executable Semantics for CompCert C.- Producing Certified Functional Code from Inductive Specifications.- The New Quickcheck for Isabelle: Random, Exhaustive and SymbolicTesting under One Roof.- Proving Concurrent Noninterference.- Noninterference for Operating System Kernels.- Compositional Verification of a Baby Virtual Memory Manager.- Shall We Juggle, Coinductively?.- Proof Pearl: Abella Formalization of λ-Calculus Cube Property.- A String of Pearls: Proofs of Fermat’s Little Theorem.- Compact Proof Certificates for Linear Logic.- Constructive Completeness for Modal Logic with Transitive Closure.- Rating Disambiguation Errors.- A Formal Proof of Square Root and Division Elimination in EmbeddedPrograms.- Coherent and Strongly Discrete Rings in Type Theory.- Improving Real Analysis in Coq: A User-Friendly Approach to Integralsand Derivatives.