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

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel

239,00 zł
239,00 zł 246,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

239,00 zł
239,00 zł 246,00 zł