Practical formal software engineering
Subtitle: wanting the software you get
By: Bruce Mills.
Publisher: Cambridge University Press
Published: 2009
Place of publication: Cambridge; New York
Language: eng
ISBN-13: 9780521879033
Subjects: Software engineering -- Textbooks
Genres: Textbooks.
Notes: Includes index.