Buy Used and New KimGuldstrandLarsen Books

Reactive Systems: Modelling, Specification and Verification

by Luca Aceto,Anna Ingólfsdóttir,Kim Guldstrand Larsen,Jiri Srba

ISBN 13: 9780521875462

Format: Hardcover (300 pages)
Publisher: Cambridge University Press
Published: 09 Aug 2007

Save for later