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

Passing the Certified Bariatric Nurses Exam

Passing the Certified Bariatric Nurses Exam

48.14 EUR

Certified Programs and Proofs

52.54 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)

52.94 EUR
Program Logics for Certified Compilers

Program Logics for Certified Compilers

110.50 EUR
Basiswissen Requirements Engineering: Aus

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

4.99 EUR
Certified Programs and Proofs

Certified Programs and Proofs

42.79 EUR
Certified Programs and Proofs

Certified Programs and Proofs

42.79 EUR
Journey to Become a Google Cloud Machine Learning Engineer: Build the mind and hand of a Google Certified ML professional

Journey to Become a Google Cloud Machine Learning Engineer: Build the mind and hand of a Google Certified ML professional

58.00 EUR