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

Formal Methods for Multicore Programming

51.36 EUR

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 Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects of Programming Languages

53.49 EUR

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

52.94 EUR
Formal Foundations for Software Engineering Methods

Formal Foundations for Software Engineering Methods

53.49 EUR
Formal Methods for Safety and Security

Formal Methods for Safety and Security

128.39 EUR
Formal Methods for Safety and Security

Formal Methods for Safety and Security

90.94 EUR
Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems

173.34 EUR
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)

51.14 EUR