Yue Liu Chao Dines Bjorner (1 results)

paperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 37568 Publisher: Tsinghua University Press Pub. Date :2010-01. Software Engineering Volume 1 ~ 3 is the von Neumann Medal. the world s leading computer scientist Dines Bjorner Professor s latest book. This series for readers to understand software and software development process provides a whole new perspective. This three-volume book first systematic exposition of how to use formal methods to guide the field of engineering. requirements engineering and software design. software engineering that three interrelated and overlapping components. or software engineering known as the trilogy . In all stages of software development. if we can use this formal pattern of development. will be able to guarantee a great extent the correctness and effectiveness of software development. This series can be regarded as a landmark in the history of software engineering work. Authors 30 years of programming methodology of the study and practice. coupled with 25 years continuous improvement of lecture notes compiled this set of coherent. consistent and relatively complete software engineering books. This series is a notable feature in this three-volume book. all the principles. techniques and tools through a large number of case studies to be described. and covers all major software development period. the stage and steps; same time. these principles. techniques and tools can be used in large industrial and commercial software development projects go.Four Satisfaction guaranteed,or money back.