Order

Multi-Valued Reasoning about Reactive Systems
Secured by PayPal
PayPal Acceptance Mark

Multi-Valued Reasoning about Reactive Systems

Orna Kupferman

978-1-63828-138-2

80.00 USD