This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- Nevada
- University of Nevada-Las Vegas
- Course info
- cs-471 - program-derivation
University of Nevada-Las Vegas Course Info
Las Vegas, Nevada•
3 reviews
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
CS 471
Program Derivation
Introduction to the formal derivation of computer programs from program specifications. Review of the logical and notational prerequisites needed for formal derivation. Guarded commands and the predicate transformer WP. Developing loops from invariants. Program development via sequence of refinements
Units: 3.0
Prerequisites:
CS 326 - Programming Languages, Concepts and Implementation
Min Grade: C
Min Grade: C
and
MATH 351 - Discrete Mathematics II
Min Grade: C
Min Grade: C