عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .S88 .S29 1994
QA
76
.
9
.
S88
.
S29
1994
کتابخانه
محل استقرار
108149
112598
زمستان۴۷
English
)12-91(
Scheurer, Thierry
Foundations of computing : system development with set theory and logic
Wokingham, England, Reading, Mass.
Addison-Wesley
c1994
xxiv, 668 p. : ill. ; 24 cm
International computer science series
Includes bibliographical references )p. 647-648( and index
، System design
، Set theory
، Logic, Symbolic and mathematical
QA
76
.
9
.
S88
.
S29
1994
AU
Thierry Scheurer
TI
SE
131
129
