Compositional verification of concurrent and real-time systemsEric Y. T. Juan

Compositional verification of concurrent and real-time systems

Name: Compositional verification of concurrent and real-time systems
ISBN: 9781402070259

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

פרטי הספר

מקור הנתונים: Wikidata