ISBN-13: 9783642058271, 978-3642058271. In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function.
eBay