Piskac, Ruzica/Rümmer, Philipp (Hrsg.): Verified Software. Theories, Tools, and Experiments. 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers. 1st ed. 2018. Cham, Springer International Publishing, 2018. 16 x 24 cm. XVI, 345 S. XVI, 345 p. 83 illus., 10 illus. in color. (Lecture Notes in Computer Science; Programming and Software Engineering).

• Kategorie: Varia
• Sprache: Englisch (eng)
• ISBN: 9783030035914
• Bestellnummer: 682VB

Unser Preis: EUR 13,--