Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wiedijk, Freek (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Maler, Oded (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pnueli, Amir (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2623
• Θέματα: Computers.; Special purpose computers.; Microprocessors.; Software engineering.; Computer logic.; Theory of Computation.; Special Purpose and Application-Based Systems.; Processor Architectures.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which inv...