SPIN Model Checking and Software Verification
Subtitle: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Klaus Havelund (Editor); John Penix (Editor); Willem Visser (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2000
Language: eng
Format: Paperback
Number of pages: 340
ISBN-13: 9783540410300
Subjects: Compilers & interpreters; Programming languages; Software engineering; SPIN (Computer file); Congresses; Verification; Software Design; Computers; Computers - Languages / Programming; Programming - Software Development; Computer Books: General; Programming - General; General; Logic Design; Computers / Logic Design; Computers / Programming / Software Development; Computers-Logic Design; Medical-General; Computer software