Reactive Systems: Modelling, Specification and Verification - Aceto, Luca (University of Iceland, Reykjavik) - Books - Cambridge University Press - 9780521875462 - August 9, 2007
In case cover and title do not match, the title is correct

Aceto, Luca (University of Iceland, Reykjavik)
Reactive Systems: Modelling, Specification and Verification

Price
$ 151.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

300 pages, 28 b/w illus. 7 tables 188 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 9, 2007
ISBN13 9780521875462
Publishers Cambridge University Press
Pages 302
Dimensions 183 × 256 × 22 mm   ·   666 g
Language English  

Mere med samme udgiver

See all of Aceto, Luca (University of Iceland, Reykjavik) ( e.g. Hardcover Book )