• 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 Sale
Tax included. Shipping calculated at checkout.

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

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