New Paradigms in Computer Aided Verification
Author:   Tyler Keating
Publisher:   States Academic Press
ISBN:  

9781639896905


Pages:   258
Publication Date:   26 September 2023
Format:   Hardback
Availability:   In stock   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $416.99 Quantity:  
Add to Cart

Share |

New Paradigms in Computer Aided Verification


Add your own review!

Overview

Full Product Details

Author:   Tyler Keating
Publisher:   States Academic Press
Imprint:   States Academic Press
Dimensions:   Width: 17.80cm , Height: 1.60cm , Length: 25.40cm
Weight:   0.667kg
ISBN:  

9781639896905


ISBN 10:   1639896902
Pages:   258
Publication Date:   26 September 2023
Audience:   General/trade ,  General
Format:   Hardback
Publisher's Status:   Active
Availability:   In stock   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now