![Hybrid Systems: Verification and Control - Lecture Notes in Computer Science - Rajeev Alur - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540611554 - 24 kwietnia 1996](https://imusic.b-cdn.net/images/item/original/554/9783540611554.jpg?rajeev-alur-1996-hybrid-systems-verification-and-control-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1512517397)
Powiedz znajomym o tym przedmiocie:
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science
Rajeev Alur
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 24 kwietnia 1996 |
ISBN13 | 9783540611554 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 619 |
Wymiary | 156 × 234 × 32 mm · 875 g |
Redaktor | Alur, Rajeev |
Redaktor | Henziger, T.a. |
Redaktor | Sontag, Eduardo D. |