Hybrid Systems: Verification and Control - Lecture Notes in Computer Science - Rajeev Alur - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540611554 - 24. apríla 1996
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 11. - 21. sep
Dostávajte upozornenia na nové nahrávky interpreta Rajeev Alur
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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šetko

Viac od toho istého vydavateľa