Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Parallel Programming

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


Huge Savings Item! Free Shipping Included! Save 19% on the Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Addison-Wesley Professional at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to


Product Description

This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.

Additional Information

Manufacturer:Addison-Wesley Professional
Color:Black
Publisher:Addison-Wesley Professional
Studio:Addison-Wesley Professional
UPC:076092021339
EAN:9780321143068
Item Weight:1.7 pounds
Item Size:1 x 9.1 x 9.1 inches
Package Weight:1.1 pounds
Package Size:7.5 x 1 x 1 inches

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Addison-Wesley Professional

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

Brand: Addison-Wesley Professional
4.8 out of 5 stars with 42 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$44.99
$36.66
You Save: 19%


Quantity:  

 


View More In Parallel Programming.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Addison-Wesley Professional, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Packt Publishing - ebooks Account
ean: 9781787282896, isbn: 1787282899,
Key FeaturesIdentify the bottlenecks in your applications and solve them using the best profiling techniquesWrite efficient numerical code in NumPy, Cython, and PandasAdapt your programs to run on multiple processors and machines with parallel progra...

By Pearson Addison Wesley Prof
ean: 9780134177410, isbn: 013417741X,
CUDA for Engineers gives you direct, hands-on engagement with personal, high-performance parallel computing, enabling you to do computations on a gaming-level PC that would have required a supercomputer just a few years ago.   The authors introduce...

By Addison-Wesley Professional
mpn: 9780131387683, ean: 9780131387683, isbn: 0131387685,
“This book is required reading for anyone working with accelerator-based computing systems.” –From the Foreword by Jack Dongarra, University of Tennessee and Oak Ridge National Laboratory CUDA is a computing architecture designed to facilitat...

By imusti
ean: 9781449361303, isbn: 1449361307,
Building distributed applications is difficult enough without having to coordinate the actions that make them work. This practical guide shows how Apache ZooKeeper helps you manage distributed systems, so you can focus mainly on application logic. Ev...

By Manning Publications
ean: 9781617292996, isbn: 1617292990,
Summary Concurrency in .NET teaches you how to build concurrent and scalable programs in .NET using the functional paradigm. This intermediate-level guide is aimed at developers, architects, and passionate computer programmers who are interested in w...

By Brand: Morgan Kaufmann
ean: 9780123973375, isbn: 0123973376,
Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative guide to multicore programming. It introduces a higher level set of software development skills than that neede...

By imusti
ean: 9781118739327, isbn: 1118739329,
Break into the powerful world of parallel GPUprogramming with this down-to-earth, practicalguideDesigned for professionals across multiple industrial sectors,Professional CUDA C Programming  presents CUDA -- aparallel computing platform and program...

By Morgan Kaufmann
mpn: 47207334, ean: 9780128119860, isbn: 0128119861,
Programming Massively Parallel Processors: A Hands-on Approach, Third Edition shows both student and professional alike the basic concepts of parallel programming and GPU architecture, exploring, in detail, various techniques for constructing paralle...

By Packt Publishing - ebooks Account
ean: 9781787120952, isbn: 1787120953,
Write code that scales across CPU registers, multi-core, and machine clustersKey FeaturesExplore concurrent programming in C++Identify memory management problemsUse SIMD and STL containers for performance improvementBook DescriptionC++ is a highly po...

By Pragmatic Bookshelf
ean: 9781680501957, isbn: 168050195X,
Node.js is the platform of choice for creating modern web services. This fast-paced book gets you up to speed on server-side programming with Node.js 8, as you develop real programs that are small, fast, low-profile, and useful. Take JavaScript beyon...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.