年 〜
年

検索結果 4 件

A distributed pi-calculus

A distributed pi-calculus
紙図書
Matthew HennessyCambridge University Pressc2007
全国の図書館
  • 著者標目Hennessy, Matthew

プログラミング言語の意味論入門 (Information & computing ; 76)

プログラミング言語の意味論入門 (Information & computing ; 76)
紙デジタル図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳サイエンス社1993.12<M159-E2969>
国立国会図書館全国の図書館
  • 著者標目Hennessy, Matthew 荒木, 啓二郎, 1954- 程, 京徳

The semantics of programming languages : an elementary introduction using structural operational semantics

The semantics of programming languages : an elementary introduction using structural operational semantics
紙図書
Matthew HennessyWileyc1990
全国の図書館
  • 著者標目Hennessy, Matthew

Algebraic theory of processes

Algebraic theory of processes
紙図書
Matthew HennessyMIT Pressc1988
全国の図書館
  • 著者標目Hennessy, Matthew

検索結果は以上です。