1. Home
  2. Medien
  3. Bücher
  4. Formal Specification Level: Concepts, Methods, and Algorithms
  • #

Formal Specification Level: Concepts, Methods, and Algorithms

106.99 EUR

Teilen:
Gesponsert

Formal Specification Level: Concepts, Methods, and Algorithms

Medimops DE
106.99 EUR
22-04-2026 05:22:21
Gesponsert

Formal Specification Level

SpringerLink DE
106.99 EUR
22-04-2026 09:14:20

Ähnliche Produkte

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

197.54 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
The Object-Z Specification Language (Advances in Formal Methods (1), Band 1)

The Object-Z Specification Language (Advances in Formal Methods (1), Band 1)

197.34 EUR
Specification Case Studies in RAISE

Specification Case Studies in RAISE

106.99 EUR
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science, 2651, Band 2651)

Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science, 2651, Band 2651)

102.94 EUR
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 Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

106.94 EUR
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

85.59 EUR