Hybrid Systems: Verification and Control - Lecture Notes in Computer Science - Rajeev Alur - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540611554 - 24 april 1996
Om omslag och titel inte matchar är det titeln som gäller

Hybrid Systems: Verification and Control - Lecture Notes in Computer Science

Pris
SEK 1.109

Beställningsvara

Förväntad leverans 6 - 14 okt
Få avisering om nya utgåvor med Rajeev Alur
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Documents the outcome of the DIMACS/SYON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, USA, in October 1995. The 48 revised full papers, selected from the proceedings, present current developments, with contributions from leading experts.


619 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 24 april 1996
ISBN13 9783540611554
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 619
Mått 156 × 234 × 32 mm   ·   875 g
Språk Tyska  
Redaktör Alur, Rajeev
Redaktör Henziger, T.a.
Redaktör Sontag, Eduardo D.

Fler produkter med Rajeev Alur

Visa alla

Mer från samma **utgivare**