The Temporal Logic of Reactive and Concurrent Systems: Specification
Book Details
Author(s)Manna, Zohar
PublisherSpringer
ISBN / ASIN1461269504
ISBN-139781461269502
AvailabilityIn Stock
Sales Rank3,385
MarketplaceUnited States 🇺🇸
Description
- Used Book in Good Condition

