MODELING AND ANALYSIS OF COMMUNICATING SYSTEMS (THE )
Availability: In Stock

MODELING AND ANALYSIS OF COMMUNICATING SYSTEMS (THE )

SKU: 9780262027717

₹4,330.00

Master the rigorous theory and practical application of modeling and analyzing complex communicating computer systems. Dive into behavioral modeling using process algebra, transition systems, and modal logics, essential for understanding concurrent and distributed systems. This vital text equips advanced computer science students, researchers, and system architects with tools like the mCRL2 suite to verify system specifications and ensure predictable behavior. Essential for anyone in India seeking to build robust, reliable communication networks and software.

5 in stock

Category: Tag:

Related products