Model Checking
Edmund M. Clarke (Carnegie Mellon University) Jr.
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£62.00
£47.75
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketModel Checking
Edmund M. Clarke (Carnegie Mellon University) Jr.
Out of stock
Format: Book (Hardback)