Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Böcker - Springer-Verlag New York Inc. - 9781441902238 - 15 juni 2009
Om omslag och titel inte matchar är det titeln som gäller

Verification and Control of Hybrid Systems: A Symbolic Approach 2009 edition

Pris
SEK 1.529

Beställningsvara

Förväntad leverans 30 dec - 7 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

Finns även som:

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, 1, black & white illustrations

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 15 juni 2009
ISBN13 9781441902238
Utgivare Springer-Verlag New York Inc.
Antal sidor 202
Mått 155 × 235 × 14 mm   ·   485 g
Språk Engelska