Specifying Systems: The TLA+ Language And Tools For Hardware And Software Engineers(1st Edition)
Authors:
Leslie Lamport
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 032114306X, 978-0321143068
Book publisher: Addison-Wesley Professional
Customers also bought these books
Mechanics Models And Methods In Civil Engineering - 1st Edition
Michel Fremond
ISBN: 3642432174, 978-3642432170
$0 $219.99Frequently Bought Together
Programmable Logic Controllers - 6th Edition
Frank D Petruzella
ISBN: 1264163347, 9781264163342
$0 $790.62
Disrupting Sacred Cows Navigating And Profiting In The New Economy - 1st Edition
Garrett B Gunderson
ISBN: 1722510579, 978-1722510572
$0 $17.63
Intermediate Accounting - 10th Canadian Edition, Volume 1
Donald Kieso
ISBN: 978-1118735329, 9781118726327, 1118735323, 1118726324, 978-0176509736
$0 $32.95
Parameter Estimation And Inverse Problems - 2nd Edition
Richard C. Aster
ISBN: 0128100923, 978-0128100929
$0 $79.96
Practical Machine Learning For Computer Vision End To End Machine Learning For Images - 1st Edition
Valliappa Lakshmanan
ISBN: 1098102363, 978-1098102364
$0 $89.99
Basic Economics For Complete Beginners - 1st Edition
Howard S. Nolan
ISBN: B0CB29LB94, 979-8851093425
$0 $17.99