TEMPORAL VERIFICATION OF REACTIVE SYSTEMS: SAFETY By Zohar Manna & Amir Pnueli

Name: TEMPORAL VERIFICATION OF REACTIVE SYSTEMS: SAFETY By Zohar Manna & Amir Pnueli
Price: 41.95 USD
Availability: InStock
Author: Zohar Manna

by Zohar Manna

$42 · Offered by eBay · No longer available

Condition: Good

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.