عنوان
پدید آورنده
موضوع
رده
QA 76 .58 .E26 1990
QA
76
.
58
.
E26
1990
کتابخانه
محل استقرار
95883
آخر۲۷
English
)20(
Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
Berlin; New York
Springer-Verlag
c1990
iv, 456 p. : ill. ; 25 cm
Lecture notes in computer science, 964
"The School was organized jointly by the LITP )Laboratoire dinformatique theorique et programmation, Paris( and IRIT )Institut pour la recherche en informatique de Toulouse("--Foreword
Includes bibliographical references
، Parallel processing )Electronic computers(
، Programming languages )Electronic computers(-- Semantics
QA
76
.
58
.
E26
1990
AU
I. Guessarian )ed.(
AU nairasseuG 1948-
NO Laboratoire informatique thعeorique et programmation )France(
NO Institut pour la recherche en informatique de Toulouse
SE
02
