Title: Software specification
Subjects: Computer software, Formal methods (Computer science), Software engineering, Specifications, Computer Books: Word Processing, Computers - Languages / Programming, Programming - General, Computer Bks - Languages / Programming, Formal methods (Computer scien