• Book cover of: Verified Software: Theories, Tools, and Experiments. By: Arie Gurfinkel

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel

€54,55
€54,55 €56,24 Em promoção

Temos em stock

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Autorius Arie Gurfinkel
Leidimo metai 2016 m.
Puslapių skč. 223 psl.
Viršelis Minkštas viršelis
ISBN 9783319296128
Leidimas 1st ed. 2016

Verified Software: Theories, Tools, and Experiments

Verified Software: Theories, Tools, and Experiments by Arie Gurfinkel, Sanjit A. Seshia.

Published by Springer, (2016), Paperback, 223 pages.

Topics: Computer programs.

Book cover of: Verified Software: Theories, Tools, and Experiments. By: Arie Gurfinkel

Verified Software: Theories, Tools, a...

€54,55
€54,55 €56,24