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.
Subtitle 6th Colloquium, Toulouse, April 17-19, 1984. International Symposium on Programming. Short Title FRE-INTL SYMPOSIUM ON PROGRAMM. Series Lecture Notes in Computer Science. - Specification and verification of networks protocols using temporal logic.
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.