The Temporal Logic of Reactive and Concurrent Systems: Specification

Rating:
Summary: A Good Introduction, But ...
Review: This book provides a very good introduction to concurrent systems and specifications. However, new or used it's certainly not worth 100$ or more. As a used book I wouldn't pay any more than 25$ for it.

Rating:
Summary: A Good Introduction, But ...
Review: This book provides a very good introduction to concurrent systems and specifications. However, new or used it's certainly not worth 100$ or more. As a used book I wouldn't pay any more than 25$ for it.