Tipsa dina vänner om produkten:
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science Rajeev Alur
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
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science
Rajeev Alur
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. |