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

53.50 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
53.50 EUR 53.50 EUR
23-04-2026 09:08:21