Share on Facebook Tweet on Twitter Share on LinkedIn Share by email

Abstract

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.

Details

Publication typeBook
URLhttp://www.addison-wesley.de/
PublisherAddison-Wesley
> Publications > Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers