Wang, Chao: Abstraction Refinement for Large Scale Model Checking

119.99 EUR 9% Off 132.50 EUR

ISBN: 1489993959

MPN: biography

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Abstraction Refinement for Large Scale Model Checking

119.99 EUR 132.50 EUR

04-11-2026 05:46:59

Access to the deal

132.50 EUR 132.50 EUR

03-11-2026 18:21:25

Access to the deal