Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics / by André Platzer.
By: Platzer, André.
Contributor(s): SpringerLink (Online service).
Material type: BookPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: digital.ISBN: 9783642145094.Subject(s): Computer science | Logic design | Artificial intelligence | Computer Science | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Mathematics of Computing | Logics and Meanings of Programs | Control, Robotics, MechatronicsDDC classification: 005.131 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.