Foundations of computing : system development with set theory and logic /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Wokingham, England ; Reading, Mass. :
Addison-Wesley,
c1994.
|
| Series: | International computer science series
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 0000030104 | ||
| 005 | 20171002020328.0 | ||
| 008 | 940411s1994 enka b 001 0 eng | ||
| 010 | |a 94016315 | ||
| 020 | |a 0201544296 | ||
| 040 | |a DLC |c DLC |d COnyango | ||
| 050 | 0 | 0 | |a QA76.9.S88 |b S29 1994 |a QA76.9 |b .S88 |b .S29 |
| 082 | 0 | 0 | |a 004.2/1 |2 20 |
| 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 Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Set theory. | |
| 650 | 0 | |a System design. | |
| 908 | |a 060718 | ||
| 942 | |c G | ||
| 952 | |0 0 |1 0 |4 0 |6 QA_76_900000000000000_S88_S29 |7 0 |9 27502 |a DUA |b DUA |c GC |d 2017-09-28 |l 0 |o QA76.9.S88.S29 |p BK019190 |r 2017-09-28 00:00:00 |w 2017-09-28 |x 48102 |y G | ||
| 995 | |a Daystar | ||
| 999 | |c 17471 |d 17471 | ||