Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
  • #

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)

53.49 EUR

Teilen:

Ähnliche Produkte

Interactive Systems: Design Specification and Verification

Interactive Systems: Design Specification and Verification

53.04 EUR
Program Development by Specification and Transformation

Program Development by Specification and Transformation

106.99 EUR
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

52.84 EUR
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science, Band 2272)

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science, Band 2272)

53.49 EUR
Cortical Development

Cortical Development

160.49 EUR
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

53.14 EUR