A Process Algebraic Approach to Software Architecture Design by Flavio Corradini
64,48 €
By Flavio Corradini, Alessandro Aldini, Marco Bernardo. This book introduces a process algebraic approach to software architecture design. Process algebra, originally conceived for reasoning about the semantics of concurrent programs, provides a foundational basis for the modeling and verification of functional and nonfunctional aspects of communicating concurrent systems.
Jetzt bei Ebay:
