* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Integrated Formal Methods is written by Wolfgang Grieskamp and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540409114 (ISBN 10) and 9783540409113 (ISBN 13).