Jump to main content

yr 〜
yr

Search results 6

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Paper図書
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)Springerc1998
Other Libraries in Japan
  • Author Heading....) Skyum, Sven Winskel, Glynn

The formal semantics of programming languages : an introduction : pbk

The formal semantics of programming languages : an introduction : pbk
Paper図書
Glynn WinskelMIT Pressc1993
Other Libraries in Japan
  • Author HeadingWinskel, Glynn

プログラミング言語の形式的意味論入門

プログラミング言語の形式的意味論入門
Paper図書
G.ウィンスケル 著, 末永幸平 監訳, 勝股審也 [ほか] 訳丸善出版2023.1<M159-M1057>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）ウィンスケル, G Winskel, Glynn

The formal semantics of programming languages : an introduction

The formal semantics of programming languages : an introduction
Paper図書
Glynn WinskelMIT Pressc1993
Other Libraries in Japan
  • Author HeadingWinskel, Glynn

Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 : gw : us

Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 : gw : us
Paper図書
edited by S.D. Brookes, A.W. Roscoe and G. WinskelSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingSeminar on Concurrency Brookes, Stephen D. Roscoe, Andrew William Winskel, Glynn

Events in computation

Events in computation
Paper図書
by Glynn WinskelUniversity of Edinburgh, Department of Computer Science1980
Other Libraries in Japan
  • Author HeadingWinskel, Glynn

Reached to the end of result.

RSS