Software Specification
Subtitle: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
Publisher: Ablex Publishing Corporation
Published: September 1993
Language: eng
Format: Paperback
Number of pages: 249
ISBN-13: 9781567500349
Subjects: Software engineering; Formal methods (Computer science); Computer Books: Word Processing; Computers - Languages / Programming; Specifications; Programming - General; Computer Bks - Languages / Programming; Computer software; Formal methods (Computer scien