HOME > Detail View

Detail View

Foundations of computing : system development with set theory and logic

Foundations of computing : system development with set theory and logic (Loan 1 times)

Material type
단행본
Personal Author
Scheurer, Thierry.
Title Statement
Foundations of computing : system development with set theory and logic / Thierry Scheurer.
Publication, Distribution, etc
Wokingham, England ;   Reading, Mass. :   Addison-Wesley,   c1994.  
Physical Medium
xxiv, 668 p. : ill. ; 24 cm.
Series Statement
International computer science series.
ISBN
0201544296
Bibliography, Etc. Note
Includes bibliographical references (p. 647-648) and index.
Subject Added Entry-Topical Term
System design. Set theory. Logic, Symbolic and mathematical.
000 00871camuuu200265 a 4500
001 000000241908
005 19980526164008.0
008 940411s1994 enka b 001 0 eng
010 ▼a 94016315
020 ▼a 0201544296
040 ▼a DLC ▼c DLC
049 1 ▼l 121015895 ▼f 과학
050 0 0 ▼a QA76.9.S88 ▼b S29 1994
082 0 0 ▼a 004.2/1 ▼2 20
090 ▼a 004.21 ▼b S328f
100 1 ▼a Scheurer, Thierry.
245 1 0 ▼a Foundations of computing : ▼b system development with set theory and logic / ▼c Thierry Scheurer.
260 ▼a Wokingham, England ; ▼a Reading, Mass. : ▼b Addison-Wesley, ▼c c1994.
300 ▼a xxiv, 668 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a International computer science series.
504 ▼a Includes bibliographical references (p. 647-648) and index.
650 0 ▼a System design.
650 0 ▼a Set theory.
650 0 ▼a Logic, Symbolic and mathematical.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.21 S328f Accession No. 121015895 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields