Tools and Algorithms for the Construction and Analysis of Systems
Author:   Armin Biere ,  David Parker
Publisher:   Saint Philip Street Press
ISBN:  

9781013277207


Pages:   438
Publication Date:   09 October 2020
Format:   Paperback
Availability:   Available To Order   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 $142.43 Quantity:  
Add to Cart

Share |

Tools and Algorithms for the Construction and Analysis of Systems


Overview

Full Product Details

Author:   Armin Biere ,  David Parker
Publisher:   Saint Philip Street Press
Imprint:   Saint Philip Street Press
Dimensions:   Width: 21.60cm , Height: 2.30cm , Length: 27.90cm
Weight:   1.007kg
ISBN:  

9781013277207


ISBN 10:   1013277201
Pages:   438
Publication Date:   09 October 2020
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   Available To Order   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:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now