ML with Concurrency

EISBN:9781461222743
PISBN:9780387948751
出版社:Springer New York
出版类型:Monograph
出版时间:1997
版次:1997
作者:Flemming Nielson
主题词:Computer Science,Software Engineering,Programming and Operating Systems,Theory of Computation
语种:英语
相关推荐

ML with Concurrency

  • 作者:Flemming Nielson
  • EISBN:9781461222743
  • 出版社:Springer New York
  • 出版时间:1997

Logics for Concurrency

  • 作者:Faron Moller,Graham Birtwistle
  • EISBN:9783540496755
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Paradigms of Concurrency

  • 作者:Ryszard Janicki;Jetty Kleijn;Maciej Koutny;Łukasz Mikulski
  • EISBN:9783662648216
  • 出版社:Springer Nature
  • 出版时间:2022

Logics for Concurrency

  • 作者:Faron Moller,Graham Birtwistle
  • EISBN:9783540496755
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Concurrency and Nets

  • 作者:Klaus Voss,Hartmann J. Genrich,Grzegorz Rozenberg
  • EISBN:9783642728228
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Semantics for Concurrency

  • 作者:Marta Zofia Kwiatkowska,Michael William Shields,Richard Monro Thomas
  • EISBN:9781447138600
  • 出版社:Springer London
  • 出版时间:1990