Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers | DealShopping Deutschland
  1. Home
  2. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  • #

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

45.99 EUR 38.98 EUR 15% Off

Teilen:

Ähnliche Produkte

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

102.14 EUR
Knowledge in Action

Knowledge in Action

47.00 EUR
Specifying Statistical Models

Specifying Statistical Models

59.00 EUR
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

53.49 EUR
Specifying Software

Specifying Software

115.99 EUR
Radaideh, Moh'd A.: A Federated e-Health Platform: A Conceptual Proposal

Radaideh, Moh'd A.: A Federated e-Health Platform: A Conceptual Proposal

35.90 EUR