عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.669
QA
76
.
L4
v
.
669
کتابخانه
محل استقرار
English
Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Berlin, New York
Springer-Verlag
1993
viii, 378p.
Lecture notes in computer science, 966
Includes bibliographical references and index
R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
1
Congresses ، Electronic digital computers - Programming
Congresses ، Computer science - Mathematics
QA
76
.
L4
v
.
669
CA
005
.
1/01/5113
TI
AU Bird, R. S.)Richard Simpson( 1943-
AU Morgan, Carroll 1952-
AU Woodcock, Jim
SE
