UTexas

Search Results

C S 340D C S 340D. Debugging Verifying Programs. 3 Hours.

Basic concepts of formal methods with emphasis on using and applying mathematical logic plus finite state systems theory to program verification and debugging. Three lecture hours a week for one semester. Computer Science 340D and 378 (Topic: Debugging and Verifying Programs) may not both be counted. Prerequisite: Computer Science 429 or 429H with a grade of at least C-.

Bachelor of Science in Environmental Science

Undergraduate

http://catalog.utexas.edu/undergraduate/natural-sciences/degrees-and-programs/bs-environmental-science/

...the University's Core Curriculum...336C , 339K , 340D , 342C , 344K...at least C- in each...

Bachelor of Fine Arts

Undergraduate

http://catalog.utexas.edu/undergraduate/fine-arts/degrees-and-programs/bachelor-of-fine-arts/

...the University's Core Curriculum...at least C- Design 375...or 323P , 340D , 353D , 353Q...

Bachelor of Science in Environmental Science

Undergraduate

http://catalog.utexas.edu/undergraduate/geosciences/degrees-and-programs/bs-environmental-science/

...the University's core curriculum...336C , 339K , 340D , 342C , 344K...at least C- in each...