![]() |
Volumn 28, Issue 1, 1996, Pages 160-164
|
Web-based laboratories in the introductory curriculum enhance formal methods
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CURRICULUM;
FORMAL METHODS;
FUNCTIONAL PROGRAMMING LANGUAGE;
HYPERTEXT MARKUP LANGUAGE;
INTERACTIVE PROGRAMMING;
WORLD WIDE WEB;
COMPUTER AIDED INSTRUCTION;
COMPUTER PROGRAMMING;
ELECTRONIC PUBLISHING;
FORMAL LANGUAGES;
INFORMATION TECHNOLOGY;
INTERACTIVE COMPUTER SYSTEMS;
OBJECT ORIENTED PROGRAMMING;
ONLINE SYSTEMS;
RESEARCH LABORATORIES;
TEACHING;
COMPUTER SCIENCE;
|
EID: 0029711002
PISSN: 00978418
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/236462.236531 Document Type: Article |
Times cited : (10)
|
References (6)
|