Logical analysis of hybrid systems proving theorems for complex dynamics / André Platzer.

By: Platzer, André [author.]Material type: TextTextDescription: xxx, 426 pages : illustrations (some color) ; 24 cmISBN: 9783642145087 (hardback : acidfree paper)Subject(s): System analysis | Hybrid systemsDDC classification: 004.259 LOC classification: T57.6 | .P53 2010
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Home library Shelving location Call number Status Notes Date due Barcode Item holds
Book Book School of Mechanical & Manufacturing Engineering (SMME)
School of Mechanical & Manufacturing Engineering (SMME)
General Stacks 004.259 PLA (Browse shelf) Available Rack,50-Shelf,4 SMME-1882
Total holds: 0

Includes bibliographical references (pages 401-413) and index.

hard cover

There are no comments on this title.

to post a comment.
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.