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

by: Leslie Lamport

ISBN-10: 032114306X

ISBN-13: 9780321143068

Edition: 1
Released: 2002-07-29

Paperback: 382 pages
List Price9915－Specifying Systems 9780321143068.pdf