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

40.30 EUR 38.98 EUR 3% 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
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

93.65 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
Specifying Statistical Models

Specifying Statistical Models

53.49 EUR
Knowledge in Action

Knowledge in Action

45.90 EUR