Hybrid Systems Iv - Lecture Notes in Computer Science - Panos Antsaklis - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540633587 - 30 juli 1997
Om omslag och titel inte matchar är det titeln som gäller

Hybrid Systems Iv - Lecture Notes in Computer Science

Pris
SEK 569

Beställningsvara

Förväntad leverans 12 - 20 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Panos Antsaklis
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; and goal reachability.


410 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 30 juli 1997
ISBN13 9783540633587
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 410
Mått 156 × 234 × 21 mm   ·   589 g
Språk Tyska  
Redaktör Antsaklis, Panos J.
Redaktör Kohn, W.
Redaktör Nerode, Anil
Redaktör Sastry, S.

Mer från samma **utgivare**