Author:Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand, and Jiri Srba

Sort

Showing 1-1 of 1

Reactive Systems: Modelling, Specification, and Verification

By: Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand, and Jiri Srba

Price: $85.00

Publisher: New Delhi, India, Cambridge University Press: 2007

Edition: First Edition

Seller ID: 020786

ISBN: 0521875463

Binding: Hard Cover

Condition: New