Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Foundations of computing : system development with set theory and logic
پدید آورنده
Scheurer, Thierry.
موضوع
System design , Set theory , Logic, Symbolic and mathematical
رده
QA
76
.
9
.
S88
S29
1994
کتابخانه
Central Library of Amirkabir University of Technology
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Scheurer, Thierry.
Title Proper
Foundations of computing : system development with set theory and logic
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wokingham
Name of Publisher, Distributor, etc.
Addison-Wesley
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxiv, 668 p. : ill
SERIES
Series Title
International computer science series
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 647-648( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
System design
Entry Element
Set theory
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
S88
S29
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Thierry Scheurer
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal