skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · courses · 

CSCI 7154. Readings in Formal Methods


This course is a variant of CSCI 7154. Topics in Theory of Computation.

CSCI 7154 (3). Topics in Theory of Computation.

Selected topics of current interest in theory of computation. Prerequisites: Consent of instructor.

CU Catalog:

Coordinator: Michael Main

CSCI 7154 (1).Topics in Theory of Computation: Readings in Formal Methods
Fall 2012sec. 0012330620ICAL 03:30pm-04:20pmTECCR 1B08Sriram Sankaranarayanan
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:10)