Software specification methods
Habrias, Henri, ed.
Software specification methods - London ISTE 2007 - xxv, 418p. ;
Includes bibliographical references, glossary and index
9781905209347
Computer software - Specifications
Formal methods - Computer science
Software engineering
Software specification methods
Software specification methods - London ISTE 2007 - xxv, 418p. ;
Includes bibliographical references, glossary and index
9781905209347
Computer software - Specifications
Formal methods - Computer science
Software engineering
Software specification methods