Book serie: / Книги серии: Lecture Notes in Computer Science 1066 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 1066

book Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

pdf

Author: John Lygeros Datta N. Godbole Shankar Sastry (auth.) Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

djvu

Author: John Lygeros Datta N. Godbole Shankar Sastry (auth.) Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0