• Book cover of: Computer Aided Verification. By: Sharon Shoham

Computer Aided Verification

Sharon Shoham

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

In stock
Autorius Sharon Shoham
Leidimo metai 2022 m.
Puslapių skč. 555 psl.
Viršelis Minkštas viršelis
ISBN 9783031131844
Leidimas 1st ed. 2022

Computer Aided Verification

Computer Aided Verification by Sharon Shoham, Yakir Vizel.

Published by Springer International Publishing AG, (2022), Paperback, 555 pages.

Book cover of: Computer Aided Verification. By: Sharon Shoham

Computer Aided Verification

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