Model Checking
Edmund M. Clarke (Carnegie Mellon University) Jr.
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Sayan Mitra
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Information-Driven Planning and Control
Silvia Ferrari
In Stock - usually despatched within 24 hours
Format: Book (Hardback)