Specifying Systems: The TLA+ Language And Tools For Hardware And Software Engineers(1st Edition)
Authors:
Leslie Lamport
In Stock
Include with your book
Free shipping: April 23, 2024Popular items with books
Total Price:
$0
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
Zombies And Calculus -
Colin Adams
ISBN: 0691161909, 1400852013, 9780691161907, 9781400852017
$0 $19.95
The Fearless Revolution 7 Secrets To Becoming Fearless - 1st Edition
Sandy Gledhill
ISBN: B0CP51HHZ7, 979-8987618004
$0 $17.97
Statistics Concepts And Controversies - 10th Edition
David S Moore
ISBN: 1319109020, 978-1319109028
$0 $122.99
Fundamental Accounting Principles - 24th edition
John J Wild
ISBN: 1259916960, 978-1259916960
$0 $163.33
ISO 26000 The Business Guide To The New Standard On Social Responsibility - 1st Edition
Lars Moratis
ISBN:
$0 $34.10
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