Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 30, 2002
Language: eng
Format: Hardcover
Number of pages: 216
ISBN-13: 9781402070259
Subjects: Software engineering; Real-Time Data Processing; Parallel Processing; Verification; Computers; Technology & Industrial Arts; Programming - Software Development; Computer Books: General; Programming - Parallel Programming; Parallel processing (Electroni; Data Processing - Parallel Processing; General; Computers / Parallel Processing; Computers / Programming / Software Development; Computers : Programming - Software Development; Medical : General; Computer systems; Parallel processing (Electronic computers)
First sentence: Concurrency is an important technique widely used in modern systems.