Model Checking Software: 23rd International Symposium, SPIN 2016

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

53.49 EUR 9% Off 59.00 EUR

MPN: 75 black & white illustrations, biograph

ISBN: 9783319325811

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

-9%

53.49 EUR 59.00 EUR

04-11-2026 03:38:30

Access to the deal

59.00 EUR 59.00 EUR

03-11-2026 17:51:08

Access to the deal