Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers | 1 Edition
ISBN:032114306X
ISBN-13: 9780321143068
ISBN-13: 9780321143068
Sell prices shown are the highest being offered from
the top textbook retailers.
the top textbook retailers.
View all Sell Prices being offered by Retailer
Need Professional tutors? Start your search below:
Need Professional course notes? Start your search below: