ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Formal methods in the undergraduate computer science curriculum (abstract)
Full text PdfPdf (184 KB)
Source Technical Symposium on Computer Science Education archive
Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education table of contents
Nashville, Tennessee, United States
Pages: 398 - 399  
Year of Publication: 1995
ISBN:0-89791-693-X
Also published in ...
Authors
Henry M. Walker  Department of Mathematics and Computer Science, Grinnell College, Grinnell, IA
H. Conrad Cunningham  Dept. Comp. & Info. Sci., Univ. of Mississippi, 302 Weir Hall University, MS
Ruth Davis  Dept. of Comp. Eng., Santa Clara University, Santa Clara, CA
Douglas Troeger  Dept. of CS, The City College of New York, Convent Ave. at 138th St., New York, NY
Sponsor
SIGCSE: ACM Special Interest Group on Computer Science Education
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 6,   Citation Count: 0
Additional Information:

index terms   collaborative colleagues  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/199688.199899
What is a DOI?

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Curriculum

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education


General Terms:
Languages

Collaborative Colleagues:
Henry M. Walker: colleagues
H. Conrad Cunningham: colleagues
Ruth Davis: colleagues
Douglas Troeger: colleagues
This Article has also been published in:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2008 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player