Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642444746 - 28 november 2014
Om omslag och titel inte matchar är det titeln som gäller

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

Pris
SEK 1.059

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 are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.


426 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 28 november 2014
ISBN13 9783642444746
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 426
Mått 155 × 235 × 24 mm   ·   635 g
Språk Engelska  

Fler produkter med Andre Platzer

Visa alla