As the operations of the world become more and more dependent on
highly interconnected, massively complex, networked systems of
computational devices, the need to develop a mathematical
understanding of their properties and behaviours is increasingly
pressing. Our approach, described in this monograph, is to combine
the compositionality of formal specification -- using techniques
from algebra, computation theory, logic, and probability theory --
with the control of level of abstraction afforded by the classical
mathematical modelling method.
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!