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

by Leslie Lamport Paperback details (United States). ISBN: 978-0-321-14306-8 ISBN-10: 0-321-14306-X Addison-Wesley Professional · 2002