Computer Science: Prolog--Programming Textbooks

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

By Leslie Lamport

ISBN-10: 0-321-14306-X | ISBN-13: 978-0-321-14306-8 | ©2003 Addison-Wesley Professional

Price: $44.99