Model Checking
Publisher: The MIT Press
Published: January 7, 1999
Language: eng
Format: Hardcover
Number of pages: 314
ISBN-13: 9780262032704
Subjects: Computer Programming; Computer modelling & simulation; Systems analysis & design; Computer Performance And Reliability; Computers; Computers - Languages / Programming; Computer Books: General; Computer Science; Programming - Systems Analysis & Design; Programming Languages - General; Computers / Computer Science; Management Information Systems; Computer systems; Verification