عنوان

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings

پدید آورنده

I. Guessarian )ed.(

موضوع

، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics

رده

QA

76
.
L28

Vol
.
469

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings

I. Guessarian )ed.(

1990: La Roche-Posay, France

Berlin

Springer-Verlag

c1990

iv, 456p.: ill

Lecture notes in computer science; 964

Organized jointly by LITP )Laboratoire d'informatique theorique et programmation, Paris( & IRIT )Institut pour la recherche en informatique de Toulouse(

Includes bibliographies

ISBN: 3540534792

، Parallel processing )Electronic computers(

، Programming languages )Electronic computers( -- Semantics

L28

Vol

469

AU Guessarian, Irene, 1948-

CO Laboratoire informatique theorique et programmation )France(

CO Institut pour la recherche en informatique de Toulouse

Ecole de Printemps d'informatique theoretique

عنوان Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings

پدید آورنده I. Guessarian )ed.(

موضوع ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics

رده QA 76 .L28 Vol.469