Powiedz znajomym o tym przedmiocie:
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science
Rajeev Alur
Cena
zł 498,90
Zamówione z odległego magazynu
Przewidywana dostawa 8 - 18 paź
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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. |
![Cover for Rajeev Alur · Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/429/9783540223429.jpg?rajeev-alur-2004-computer-aided-verification-16th-international-conference-cav-2004-boston-ma-usa-july-13-17-2004-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1611681129)