Formal Specification
Subtitle: Techniques and Applications
Publisher: Springer-Verlag Telos
Published: August 1999
Language: eng
Format: Paperback
Number of pages: 295
ISBN-13: 9781852330026
Subjects: General Theory of Computing; Mathematics for scientists & engineers; Software engineering; Software Development; Development; Formal Language Theory; Computers; Computers - Languages / Programming; Programming - Software Development; Computer Books: General; Formal methods (Computer science); Computer Science; Application software; Formal methods (Computer scien