Modeling and Verification of Parallel Processes
Subtitle: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science)
Contributors: Franck Cassez (Editor); Claude Jard (Editor); Brigitte Rozoy (Editor); Mark D. Ryan (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 28, 2001
Language: eng
Format: Paperback
Number of pages: 223
ISBN-13: 9783540427872
Subjects: Mathematical theory of computation; Parallel Processing; Software engineering; Programming - Parallel Programming; Data Processing - Parallel Processing; Computers; Computers - General Information; Parallel processing (Electronic computers); Computer Books: General; Parallel processing (Electroni; General; Programming - Software Development; Computers / Programming / Software Development; Formal Methods; Model Checking; Theorem Proving
First sentence: Computerized systems pervade more and more our everyday lives.