Modeling and Analysis of Communicating Systems
No Customer Reviews
Select Format
Select Condition 
Book Overview
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer systems-computers connected by data networks and in constant communication with their environments-do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among...
Format:Paperback
Language:English
ISBN:0262547872
ISBN13:9780262547871
Release Date:May 2023
Publisher:MIT Press
Length:392 Pages
Weight:1.72 lbs.
Dimensions:0.8" x 8.0" x 10.0"
Age Range:18 years and up
Grade Range:Postsecondary and higher
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
