Concurrency, Security, and Puzzles

EISBN:9783319510460
PISBN:9783319510453
出版社:Springer International Publishing
出版类型:Commemorative publication
出版时间:2017
版次:1st ed. 2017
作者:Thomas Gibson-Robinson,Philippa Hopcroft,Ranko Lazić
主题词:Logics and Meanings of Programs,Software Engineering,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages,Computer Communication Networks,Programming Techniques
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Concurrency and Parallelism, Programming, Networking, and Security

  • 作者:Joxan Jaffar,Roland H.C. Yap
  • EISBN:9783540496267
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Concurrency and Parallelism, Programming, Networking, and Security

  • 作者:Joxan Jaffar,Roland H. C. Yap
  • EISBN:9783540496267
  • 出版社: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

ML with Concurrency

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

ML with Concurrency

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