Publication year: 2007
ISBN: 978-3-540-71493-4
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.
Subject: Computer Science, D programming language, complexity, programming, programming language, real-time, robot, robotics, tools, verification