1. Home
  2. Medien
  3. Bücher
  4. Formal Development of Reactive Systems: Case Study Production Cell
  • #

Formal Development of Reactive Systems: Case Study Production Cell

53.49 EUR 53.24 EUR 0% Off

Teilen:
Gesponsert

Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)

Medimops DE
53.24 EUR
24-04-2026 18:56:52
Gesponsert

Formal Development of Reactive Systems

SpringerLink DE
53.49 EUR
24-04-2026 08:30:50

Ähnliche Produkte

Formal Development of a Network-Centric Rtos

Formal Development of a Network-Centric Rtos

160.49 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
VDM '90. VDM and Z

VDM '90. VDM and Z - Formal Methods in Software Development

53.49 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
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
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

117.68 EUR
Formal and Practical Aspects of Domain-Specific Languages

Formal and Practical Aspects of Domain-Specific Languages

197.20 EUR
Formal Program Development

Formal Program Development

53.49 EUR