Reasoning about programs

Author

• Dijkstra, Edsger W.

Additional Author(s)

-

Publisher

Stanford, CA: 1990

Language

English

ISBN

-

Series

The Distinguished lecture series volume III

Subject(s)

• COMPUTER PROGRAMS

Notes

-

Abstract

-

Physical Dimension

Number of Page(s)

1 video cassette

Dimension

VHS/PAL

Other Desc.

[55 min],sound,col

Summary / Review / Table of Content

No summary / review / table of content available!

Exemplar(s)

#	Accession No.	Call Number	Location	Status
1.	04222/93	VC 005.3 Dij R	-	Available
2.	02507/94	VC 005.3 Dij R	-	Available