Model Checking Software
Edition: 1 edition
Publisher: Springer
Published: June 15, 2001
Language: eng
Format: Paperback
Number of pages: 313
ISBN-13: 9783540421245
Subjects: Compilers & interpreters; Programming languages; Software engineering; Programming - Software Development; Congresses; Software Quality Control; Computer Systems; Computers; Computers - Languages / Programming; Programming - General; Computer Books: General; Logic Design; Data Processing - Parallel Processing; General; Computers / Logic Design; Computers / Programming / Software Development; Computers-Logic Design; Concurrent Systems; Distributed Systems; Finite State Systems; Formal Methods; Formal Verification; Verification; SPIN (Computer file); Client-Server Computing - General; Computer software; Congráes; Logiciels; Vâerification