عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .T525 1995
QA
75
.
5
.
T525
1995
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
129108
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
بهار۱۸
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)91(
Title Proper
Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Imperial College Press
Date of Publication, Distribution, etc.
1995
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 431 p.: ill.; 23 cm
GENERAL NOTES
Text of Note
At head of title: Imperial College, Department of Computing
Text of Note
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, Lond on held in Cambridge on 11th-14th September 1994
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer science
Entry Element
Congresses ، Formal methods )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
75
.
5
.
T525
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
editors, C. Hankin, I. Mackie, R. Nagarajan
AU sirhC ,niknaH
AU (naI).I ,eikcaM
AU (lapogajaR).R ,najaragaN
CO Imperial College of Science, Technology, and Medicine )Great Britain(. Dept. of Computing
CO Imperial College Department of Computing Workshop on Theory and Formal Methods )2nd: 4991: Cambridge, England(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
129
