The book Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers has been published by Addison-Wesley Professional, a division of Pearson Education.

Publisher  Addison-Wesley
All copyrights reserved by Addison-Wesley 2002.

Details