Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Logical Analysis of Hybrid Systems (Authors and Editors)

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Platzer, Andre

2010, XXX, 426 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$119.00

(net) price for USA

ISBN 978-3-642-14509-4

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$159.00

(net) price for USA

ISBN 978-3-642-14508-7

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$159.00

(net) price for USA

ISBN 978-3-642-44474-6

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

The author is an assistant professor in the Computer Science Department at Carnegie Mellon University. He has an M.Sc. in computer science from the University of Karlsruhe, Germany and a Ph.D. in computer science from the University of Oldenburg, Germany. Among other awards he won best paper awards at the Tableaux 2007 and FM 2009 conferences, he was among Popular Science Magazine's annual "Brilliant 10" in 2009, he received the ACM Doctoral Dissertation Honorable Mention Award in 2009, he was among the IEEE Intelligent Systems' biennial "AI's 10 to Watch" in 2011, and he received an NSF Career award in 2011. His research interests include the logical foundations of cyberphysical systems, theorem proving and model checking.

 

Other books by this author 

Books & CD ROMs

Show all 1 results

  • Logical Analysis of Hybrid Systems
    • eBook
      download immediately after purchase

      $119.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $159.00
      (net)
      All
    • eBook
      download immediately after purchase

      $119.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $159.00
      (net)

    Logical Analysis of Hybrid Systems

    Proving Theorems for Complex Dynamics

    Platzer, Andre 2010

    Price from $119.00
    Selected Formats
    Information
    $119.00 (net)
    ISBN 978-3-642-14509-4
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $159.00 (net)
    ISBN 978-3-642-44474-6
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


1 of 1

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Mathematical Logic and Formal Languages.

Additional information