Produkt mají v nabídce:
Reactive Systems - Aceto, Luca (University of Iceland, Reykjavik) a Ingolfsdottir, Anna (University of Iceland, Reykjavik) a Larsen, Kim Guldstrand (Aalborg University, Denmark) a Srba, Jiri (Aalborg University, Denmark)
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.
