• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
An introduction to discrete mathematics, formal system specification, and Z

پدید آورنده
D.C. Ince

موضوع
، Computer science -- Mathematics,، System design

رده
QA
76
.
9
.
M35I53
1992

کتابخانه
Library of Institute for Research in Fundamental Sciences

محل استقرار
استان: Tehran ـ شهر: Tehran

Library of Institute for Research in Fundamental Sciences

تماس با کتابخانه : 22291812-021

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
An introduction to discrete mathematics, formal system specification, and Z
First Statement of Responsibility
D.C. Ince

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Oxford
Name of Publisher, Distributor, etc.
Clarendon
Date of Publication, Distribution, etc.
c1992

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
x, 286p.: tables

SERIES

Other Title Information
Oxford applied mathematics and computing science series

GENERAL NOTES

Text of Note
Udapted ed. of: An introduction to discrete mathematics and formal system specification, 1988
Text of Note
Bibliography: p.]280[-282
Text of Note
ISBN: 0198538367

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
، Computer science -- Mathematics
Entry Element
، System design

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
9
.
M35I53
1992

PERSONAL NAME - PRIMARY RESPONSIBILITY

Entry Element
Ince, Darrel C.
Relator Code
AU

AU Ince, Darrel C. Introduction to discrete mathematics and formal system
TI
TI Discrete mathematics, formal system specification, and Z
SE

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival