Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Subtitle: An International Survey (Advanced Computing and Telecommuni)
Publisher: Noyes Data Corporation/Noyes Publications
Published: November 1994
Language: eng
Format: Hardcover
Number of pages: 306
ISBN-13: 9780815513629
Subjects: Systems Analysis (Computer Science); System analysis; Systems Engineering; Computers - Languages / Programming; Computer Books: Operating Systems; System design; Programming - Systems Analysis & Design; Programming Languages - General