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

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.) - Berlin : Springer-Verlag, 1990 - 456 p. - Lecture notes in computer science ; no. 469 .

3540534792


Programming languages (Electronic computers)--Semantics--Congresses

QA76.7 / S46
คัดลอกแล้ว!