by Dines Bjørner (Author)
The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood."
Format: Hardcover
Pages: 796
Edition: illustrated edition
Publisher: Springer
Published: 09 Mar 2006
ISBN 10: 3540211519
ISBN 13: 9783540211518