عنوان
پدید آورنده
موضوع
رده
QA .I56 76.642 1990
QA
.
I56
76
.
642
1990
کتابخانه
محل استقرار
Semantics for concurrency : proceedings of the International BCS-FACS Workshop
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
London, New York
Springer-Verlag
1990
viii, 346 p. : ill. ; 25 cm
Workshops in computing
Published in collaboration with the British Computer Society
Includes bibliographical references and index
Parallel programming )Computer science( - Congresses
Programming languages )Electronic computers( - Semantics - Congresses
QA
76
.
642
.
I56
1990
International BCS-FACS Workshop, University of Leicestert, )1990
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
