Catalog

Record Details

Catalog Search


Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics Cover Image E-book E-book

Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics / by André Platzer.

Platzer, André. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642145094
  • Physical Description: XXX, 426p. 137 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: 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, Mechatronics.

Electronic resources

Texto completo


Additional Resources