Skip to product information

Computer Aided Verification

Arie Gurfinkel

Regular price €42,43
Sale price €42,43 Regular price €43,74 Sale
Tax included. Shipping calculated at checkout.

In stock

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

Computer Aided Verification

Computer Aided Verification by Arie Gurfinkel, Vijay Ganesh.

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

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

Computer Aided Verification

Regular price €42,43
Sale price €42,43 Regular price €43,74