年 〜
年

検索結果 2 件

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1990.<M15-A7227>
国立国会図書館
  • 著者標目...Posay, France) Guessarian, Iréne, 1948- Laboratoire informatique théo...

Algebraic semantics / Irène Guessarian. (Lecture notes in computer science ; 99)

Algebraic semantics / Irène Guessarian. (Lecture notes in computer science ; 99)
紙図書
Springer-Verlag1981.<MA41-176>
国立国会図書館
  • 著者標目Guessarian, Irène, 1948-

検索結果は以上です。