146 search results - page 30 / 30 » Local Reasoning about Programs that Alter Data Structures |
ICWE
2003
Springer
13 years 10 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...