Formal Methods for Multicore Programming | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Methods for Multicore Programming
  • #
  • #

Formal Methods for Multicore Programming

57.00 EUR 51.36 EUR 10% Off

Entdecke die systematische Analyse von Mehrkernanwendungen: das Buch führt in formale Modelle, Verifikationstechniken und Modellprüfungen ein, um Fehler bei parallelen Algorithmen frühzeitig zu erkennen und robuste Software zu entwickeln.

Teilen:

Ähnliche Produkte

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

85.24 EUR
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

52.94 EUR
Formal Methods for Safety and Security

Formal Methods for Safety and Security

90.94 EUR
Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects of Programming Languages

54.99 EUR
Formal Methods for Safety and Security

Formal Methods for Safety and Security

142.00 EUR
Formal Foundations for Software Engineering Methods

Formal Foundations for Software Engineering Methods

53.49 EUR