Certified Programs and | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Certified Programs and Proofs
  • #

Certified Programs and Proofs

53.49 EUR

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.

Teilen:

Ähnliche Produkte

Certified Programs and Proofs

Certified Programs and Proofs

49.98 EUR
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)

53.49 EUR
Passing the Certified Bariatric Nurses Exam

Passing the Certified Bariatric Nurses Exam

48.14 EUR
Basiswissen Requirements Engineering: Aus

Basiswissen Requirements Engineering: Aus- und Weiterbildung nach IREB-Standard zum Certified Professional for Requirements Engineering Foundation Level

8.59 EUR
Program Logics for Certified Compilers

Program Logics for Certified Compilers

110.50 EUR
Certified Programs and Proofs

Certified Programs and Proofs

42.79 EUR