Reactive Systems
Modelling, Specification and Verification
Inbunden, Engelska, 2007
Av Reykjavik) Aceto, Luca (University of Iceland, Reykjavik) Ingolfsdottir, Anna (University of Iceland, Denmark) Larsen, Kim Guldstrand (Aalborg University, Denmark) Srba, Jiri (Aalborg University, Luca Aceto, Anna Ingolfsdottir, Jiri Srba
1 499 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2007-08-09
- Mått183 x 256 x 22 mm
- Vikt666 g
- FormatInbunden
- SpråkEngelska
- Antal sidor302
- FörlagCambridge University Press
- ISBN9780521875462