|
UNH - SPRING '11(Jan, Feb) | ||
Section 01 | ||
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (1st Edition) by Leslie Lamport Paperback, 382 Pages, Published 2002 ISBN-10: 0-321-14306-X / 032114306X ISBN-13: 978-0-321-14306-8 / 9780321143068 This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good idea |