عنوان
پدید آورنده
موضوع
رده
QA .I56 76.642 1990
QA
.
I56
76
.
642
1990
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Semantics for concurrency : proceedings of the International BCS-FACS Workshop
First Statement of Responsibility
sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 346 p. : ill. ; 25 cm
SERIES
Series Title
Workshops in computing
GENERAL NOTES PERTAINING TO DESCRIPTIVE INFORMATION
Text of Note
Published in collaboration with the British Computer Society
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Parallel programming )Computer science( - Congresses
Entry Element
Programming languages )Electronic computers( - Semantics - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
76
.
642
Book number
.
I56
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
International BCS-FACS Workshop, University of Leicestert, )1990
Entry Element
Title
Kwiatkowska, Marta Z
Shields, Michael William
Thomas, Richard Monro
S.E.R.C. Logic for IT
British Computer Society
.1957-
1950-
1952-
English Book
