Name: Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Brand: Springer-Verlag GmbH
SKU: ID13099853

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

53.49 EUR 9% Off 59.00 EUR

Dieses Buch fasst die Ergebnisse der ersten internationalen Konferenz über zertifizierte Programme und Beweise zusammen, präsentiert neue Ansätze zur formalen Verifikation, Software‑Sicherheit und theoretischen Grundlagen aus Kenting.

Marke: Springer-Verlag GmbH

ISBN: 3642253784

MPN: 87 black & white illustrations, biograph