6.170 | Fall 2005 | Undergraduate

Laboratory in Software Engineering

Recitations

rec1_spec_test.pdf

Description:

This resource contains the following topics Declarative specs, Strong Versus Weak Specifications, Fib example.

Resource Type:
Recitations
pdf
172 kB
rec1_spec_test.pdf

Course Info

Learning Resource Types
Lecture Notes
Programming Assignments