Concurrency Verification
Subtitle: Introduction to Compositional and Non-Compositional Methods
Publisher: Cambridge University Press
Published: 2012
Language: eng
Number of pages: 800
ISBN-13: 9780521169325
Subjects: Parallel processing (electronic computers); Computer software, verification