Order

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

Multi-Valued Reasoning about Reactive Systems

Orna Kupferman

978-1-63828-139-9

145.00 USD

Please note that E-Book purchases can take up to two business days to be processed.