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

41.10 EUR 38.98 EUR 5% Off

Teilen:

Ähnliche Produkte

Knowledge in Action

Knowledge in Action

45.90 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
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.74 EUR
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)

106.99 EUR
Specifying Statistical Models

Specifying Statistical Models

53.49 EUR
Specifying Software

Specifying Software

93.65 EUR
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

53.49 EUR
Specifying Big Data Benchmarks

Specifying Big Data Benchmarks

49.22 EUR