• Book cover of: Computer Aided Verification. By: Arie Gurfinkel

Computer Aided Verification

Arie Gurfinkel

€42,43
€42,43 €43,74 Väljamüük

Meil on laos

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

Autorius Arie Gurfinkel
Leidimo metai 2024 m.
Puslapių skč. 498 psl.
Viršelis Minkštas viršelis
ISBN 9783031656262
Leidimas 2024 ed.

Computer Aided Verification

Computer Aided Verification by Arie Gurfinkel, Vijay Ganesh.

Published by Springer, (2024), Paperback, 498 pages.

Book cover of: Computer Aided Verification. By: Arie Gurfinkel

Computer Aided Verification

€42,43
€42,43 €43,74