Modeling and analysis of communicating 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 distr...

Full description

Bibliographic Details
Main Author: Groote, J. F. (Jan Friso), 1965-
Other Authors: Mousavi, Mohammad Reza, 1978-
Format: eBook
Language:English
Published: Cambridge, Massachusetts : The MIT Press, [2014]
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: TK5102.83 .G76 2014eb
 
Call Number Status Get It
TK5102.83 .G76 2014eb Available