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

Computer Aided Verification

Arie Gurfinkel

186,00 zł
186,00 zł 192,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 2024 m.
Puslapių skč. 582 psl.
Viršelis Minkštas viršelis
ISBN 9783031656323
Leidimas 2024 ed.

Computer Aided Verification

Computer Aided Verification by Arie Gurfinkel, Vijay Ganesh.

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

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

Computer Aided Verification

186,00 zł
186,00 zł 192,00 zł