Piskac, R. et al (Eds.): Verified Software. Theories, Tools, and Experiments. Cham, Springer, 2018. xvi, 345 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped.

• Kategorie: Informatik
• Sprache: Englisch (en)
• ISBN: 9783030035914
• Bestellnummer: 2776MB

Unser Preis: EUR 16,--