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

Paperback

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

Need help? Get in touch