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

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

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

  • Leslie Lamport

Paperback

$35.99

Price Reduced From: $44.99

Free delivery
ISBN-13: 9780321143068
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Published 2002

Need help? Get in touch