메뉴 건너뛰기




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;

EID: 0029711002     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/236462.236531     Document Type: Article
Times cited : (10)

References (6)
  • 1
    • 85033838397 scopus 로고
    • Technical report, Oberlin College Computer Science Program, November. In progress
    • tX reference manual. Technical report, Oberlin College Computer Science Program, November 1995. In progress.
    • (1995) tX Reference Manual
    • Bajpai, J.S.1    Salter, R.M.2
  • 6
    • 84976651406 scopus 로고
    • Computing curricula 1991
    • June
    • A. B. Tucker. Computing curricula 1991. Communications of the ACM, 34(6):68-86, June 1991.
    • (1991) Communications of the ACM , vol.34 , Issue.6 , pp. 68-86
    • Tucker, A.B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.