1. Home
  2. Medien
  3. Bücher
  4. Formal Program Development
  • #
  • #

Formal Program Development

53.49 EUR

Teilen:
Gesponsert

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755, Band 755)

Medimops DE
53.49 EUR
23-04-2026 06:08:16
Gesponsert

Formal Program Development

SpringerLink DE
53.49 EUR
23-04-2026 09:13:34

Ähnliche Produkte

Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)

Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)

53.49 EUR
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)

Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)

149.84 EUR
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank

FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank- und Wissensrepräsentationsansätzen

54.99 EUR
Preparing for Development: Making the Most of Formal Leadership Programs

Preparing for Development: Making the Most of Formal Leadership Programs

12.65 EUR
Teacher Professional Development

Teacher Professional Development

79.00 EUR

Program Development by Refinement

159.58 EUR
Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

53.49 EUR
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science, 15189, Band 15189)

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science, 15189, Band 15189)

53.48 EUR