146 search results - page 30 / 30 » Local Reasoning about Programs that Alter Data Structures |
148
Voted
ICWE
2003
Springer
15 years 8 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...