home · mobile · schedules · fall 2012 · 

CSCI 7154 - Fall 2012

CSCI 7154-001 (1).
Topics in Theory of Computation: Readings in Formal Methods
Semester:Fall 2012
Class #:23306
Instructor:Sriram Sankaranarayanan
Time:03:30pm-04:20pm T
Room:ECCR 1B08
Enrollment:20
Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
webmaster@cs.colorado.edu
www.cs.colorado.edu
May 5, 2012 (14:26)
XHTML 1.0/CSS2
©2012