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

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

53.49 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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

20-06-2026 02:17:08

Access to the deal

Gesponsert Certified Programs and Proofs

SpringerLink DE

53.49 EUR 53.49 EUR

19-06-2026 18:49:42

Access to the deal

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

Gesponsert Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Gesponsert Certified Programs and Proofs

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

Gesponsert Certified Programs and Proofs: First International Conference, C.P.P. 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Gesponsert Certified Programs and Proofs

Ähnliche Produkte

Passing the Certified Bariatric Nurses Exam

Appel, Andrew W.: Program Logics for Certified Compilers

Certified Programs and Proofs

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings