Computer Aided Verification

Name: Computer Aided Verification
Brand: Arie Gurfinkel
SKU: 9783031656293
Price: 42.43 EUR
Availability: OutOfStock

Arie Gurfinkel

€42,43

€42,43 €43,74 Sale

Tax included. Shipping calculated at checkout.

In stock

Autorius Arie Gurfinkel

Leidėjas Springer International Publishing AG

Leidimo metai 2024 m.

Puslapių skč. 430 psl.

Viršelis Minkštas viršelis

ISBN 9783031656293

Leidimas 2024 ed.

Computer Aided Verification by Arie Gurfinkel, Vijay Ganesh.

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

Computer Aided Verification

€42,43

€42,43 €43,74

Your cart is empty