1. Home
  2. Medien
  3. Bücher
  4. Formal Methods for Quantitative Aspects of Programming Languages
  • #

Formal Methods for Quantitative Aspects of Programming Languages

53.49 EUR

Teilen:
Gesponsert

Formal Methods for Quantitative Aspects of Programming Languages

SpringerLink DE
53.49 EUR
22-04-2026 09:19:38

Ä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 Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems

173.34 EUR
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

53.34 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 Multicore Programming

Formal Methods for Multicore Programming

51.36 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
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

99.04 EUR