Modeling and Analysis of Communicating Systems
$98.01
- Paperback
392 pages
- Release Date
9 May 2023
Summary
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 the very few techniques capable of mod…
Book Details
| ISBN-13: | 9780262547871 |
|---|---|
| ISBN-10: | 0262547872 |
| Author: | Jan Friso Groote, Mohammad Reza Mousavi |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Paperback |
| Number of Pages: | 392 |
| Release Date: | 9 May 2023 |
| Weight: | 369g |
| Dimensions: | 254mm x 203mm |
About The Author
Jan Friso Groote
Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands.
Mohammad Reza Mousavi is Professor of Computer Systems Engineering at the Center for Research on Embedded Systems at Halmstad University, Sweden.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.