عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .K82 1991
QA
76
.
6
.
K82
1991
کتابخانه
محل استقرار
102258
پائیز۵۷
English
)20(
Kubiak, Ryszard
An introduction to programming with specifications : a mathematical approach
London
Academic Press
c1991
ix, 267 p. : ill. ; 24 cm
The A.P.I.C. series; no.53
Includes bibliographical references and index
، Electronic digital computers-- Programming
، Programming )Mathematics(
QA
76
.
6
.
K82
1991
AU
Ryszard Kubiak, Roman Rudzinski, Stefan Sokoowski
AU .namoR ,iksnizduR
AU (nafetS) .S ,ikswolokoS
TI
SE
02
