• You are here:
  • Home
  • Quick Buy

Buy & Order Now Specifying Systems: The TLA+ Language

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

Resolve the simple captcha below:
6 + 13 =
We are assuming you have read our terms and conditions and agreed with them.