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.

• Category: Informatik
• Language: English (en)
• ISBN: 9783030035914
• Order Number: 2776MB

Our Price: EUR 16,--