Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 1st edition

Published by Addison-Wesley Professional (July 19, 2002) © 2003

  • Leslie Lamport
$35.99

Need help? Get in touch