Povedzte o tejto položke priateľom:
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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 24. apríla 1996 |
| ISBN13 | 9783540611554 |
| Vydavatelia | Springer-Verlag Berlin and Heidelberg Gm |
| Strany | 619 |
| Rozmery | 156 × 234 × 32 mm · 875 g |
| Jazyk | Nemčina |
| Editor | Alur, Rajeev |
| Editor | Henziger, T.a. |
| Editor | Sontag, Eduardo D. |
Viac od Rajeev Alur
Zobraziť všetkoViac od toho istého vydavateľa
Pozrieť všetko od Rajeev Alur ( napr. Paperback Book a Book )