Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers | 1 Edition
ISBN:032114306X
ISBN-13: 9780321143068
ISBN-13: 9780321143068
List Price: $35.99 (up to 36% savings)
Prices shown are the lowest from
the top textbook retailers.
the top textbook retailers.
View all Prices by Retailer
Need Professional tutors? Start your search below:
Need Professional course notes? Start your search below: