Certified Programs and | DealShopping Deutschland

Certified Programs and Proofs

~~59.00 EUR~~ 53.49 EUR 9% Off

Entdecken Sie die Kernaussagen der ersten internationalen Konferenz zu zertifizierten Programmen und Beweisen in Kenting, Taiwan. Das Buch fasst bahnbrechende Forschung zu formalen Verifikationsmethoden, Sicherheit von Software und theoretischen Grundlagen zusammen.

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

25-07-2026 02:45:14

Gesponsert

Certified Programs and Proofs

SpringerLink DE

59.00 EUR

24-07-2026 23:09:20