عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.135
QA
76
.
L4
v
.
135
کتابخانه
محل استقرار
English
An introduction to the PL/CV2 programming logic
Berlin, New York
Springer-Verlag
1982
x, 292 p. : ill. ; 24 cm
Lectures notes in computer science, 531
Includes bibliographies and index
R.L. Constable, S.D. Johnson, C.D. Eichenlaub
1
، PL/CV )Computer program language(
، Computer programs - Verification
QA
76
.
L4
v
.
135
CA
001
.
64/24
Constable, Robert L.
AU
AU Johnson, S. D.
AU Eichenlaub, C. D.
TI
SE
