When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Authors : Pnueli, Amir,Manna, Zohar. Title : The Temporal Logic of Reactive and Concurrent Systems: Specification. They are shown above. Pages : 441. About hpb-red. Condition : Good.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.