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 BasketVerifying 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 BasketInformation-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