* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Formal Methods and Software Development is written by Hartmut Ehrig and published by . It's available with International Standard Book Number or ISBN identification 3540151990 (ISBN 10) and 9783540151999 (ISBN 13).