1. Home
  2. Formal and Adaptive Methods for Automation of Parallel Programs Construction
  • #

Formal and Adaptive Methods for Automation of Parallel Programs Construction

167.10 EUR

Teilen:

Ähnliche Produkte

Formal and Adaptive Methods for Automation of Parallel Programs Construction

Formal and Adaptive Methods for Automation of Parallel Programs Construction

219.20 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

70.60 EUR
Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

64.19 EUR
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

117.69 EUR
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

112.04 EUR
Art Appreciation

Art Appreciation

112.90 EUR
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Notes in Computer Science, Band 12226)

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Notes in Computer Science, Band 12226)

74.34 EUR
Kaiser, Lawrence Joseph: ¿Mirabilis Dubitatio¿

Kaiser, Lawrence Joseph: ¿Mirabilis Dubitatio¿

98.00 EUR