Cover image not available

Logical analysis of hybrid systems : proving theorems for complex dynamics

André Platzer

Publication Data

Title Logical analysis of hybrid systems : proving theorems for complex dynamics
Author André Platzer
Publisher Springer
Publication date 2010
Publication location Heidelberg
Language English

Topics

Hybrid computers
015886850

Catalogue Data

OBNB ID GBB1C3067
ISBN 10 3642145094
ISBN 13 9783642145094
Type BibliographicResource, Book
Dewey Classification 004.259

ISBD

P1053 xxx, 426 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logical analysis of hybrid systems : proving theorems for complex dynamics by André Platzer. ISBN 9783642145094. Published by Springer in 2010. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.