Data & IT
Reactive Systems
Luca Aceto • Anna Ingolfsdottir • Kim Guldstrand Larsen • Jiri Srba • Luca Aceto
Inbunden
1469:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780521875462
- Språk: Engelska
- Antal sidor: 302
- Utgivningsdatum: 2007-08-09
- Förlag: Cambridge University Press