| Login | Register
Advanced search
Found 3 itemsTitleAuthorAvailability
Information-Driven Planning and Control
(Hardback)
By Silvia Ferrari
Model Checking
(Hardback, second edition)
By Edmund M. Clarke Jr.
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
By Sayan Mitra
This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.