Temporal Logic for Real-time Systems (Research Studies Press Series in Advanced Software Development)

Ostroff, JS / Research Studies Press 1989
224 pp., Hardcover, previous owner's name to front free endpaper, several page corners bent else text clean & binding tight. Volumes Included: 1

ISBN: 0863800866
Subject/Keywords: Temporal Logic Software m99

Item #: 1289826

$7.51

Add To Cart