عنوان
پدید آورنده
موضوع
رده
QA75.5 .T525 1995
QA75
.
5
.
T525
1995
کتابخانه
محل استقرار
استان: East Azarbaijan ـ شهر: Tabriz
INTERNATIONAL STANDARD BOOK NUMBER
Erroneous ISBN
186094003X
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
97-1725
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Theory and formal methods of computing 94
General Material Designation
[Book]
Other Title Information
:proceedings of the Second Imperial College Workshop
First Statement of Responsibility
/ editors, C. Hankin, I. Mackie, R. Nagarajan
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
: Imperial College Press ;Singapore ;River Edge, NJ :Distributed by World Scientific,
Date of Publication, Distribution, etc.
, c1995.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 431 p.
Other Physical Details
: ill.
Dimensions
; 23 cm.
GENERAL NOTES
Text of Note
Language: انگلیسی
Text of Note
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
original title: At head of title: Imperial College, Department of Computing..
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Computer science--Congresses
Formal methods (Computer science)--Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
.
01
5113
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA75
.
5
Book number
.
T525
1995
PERSONAL NAME - SECONDARY RESPONSIBILITY
Hankin, Chris
Mackie, I
Nagarajan, R
Imperial College Department of Computing Workshop on Theory and Formal Method، 1994
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Imperial College of Science, Technology and Medicine
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
