Model Checking
Edmund M. Clarke (Carnegie Mellon University) Jr.
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£72.00
£47.32
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Sayan Mitra
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£57.00
£38.47
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Information-Driven Planning and Control
Silvia Ferrari
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£72.00
£47.32
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
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