Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Livres - Springer-Verlag New York Inc. - 9781441954985 - 5 novembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

Verification and Control of Hybrid Systems: A Symbolic Approach Softcover reprint of hardcover 1st ed. 2009 edition

Prix
€ 125,49

Commandé depuis un entrepôt distant

Livraison prévue 1 - 9 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.


202 pages, black & white illustrations

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 5 novembre 2010
ISBN13 9781441954985
Éditeurs Springer-Verlag New York Inc.
Pages 202
Dimensions 155 × 235 × 11 mm   ·   312 g
Langue et grammaire Anglais