Software Systems Development With CD
Formal Methods into Practice
Cambridge University Press
Book
Hardback
978-0-521-59188-1 (ISBN)
Description
The CD-ROM to accompany the main work, which provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages.
More details
Language
English
Place of publication
Cambridge
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
Worked examples or Exercises
ISBN-13
978-0-521-59188-1 (9780521591881)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification