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
£37.76
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket