Product Description
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum… More >>
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences … Computer Science and General Issues)
Tags:
10th,
2007,
braga portugal,
broad spectrum,
computation structures,
Computational,
computational structures,
Computer,
computer science,
Conference,
Conferences,
etaps,
European,
FOSSACS,
Foundations,
General,
Held,
International,
issues,
Joint,
Part,
refereed proceedings,
Science,
Software,
software science,
Structures,
submissions,
theory and practice
Related posts
- Predictive computer vision for robotic assembly
- Automatic Control: World Congress, 1987 : Digital Computer Control Systems, Automatic Control in Manufacturing, Robotics Control
- The Feasibility of Using Robotic Systems at the International Space Station for Exterior Inspections
- Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs’97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
- Automata, Languages and Programming: 26th International Colloquium, ICALP’99, Prague, Czech Republic, July 11-15, 1999 Proceedings
