CONCUR 2005 – Concurrency Theory

EISBN:9783540319344
PISBN:9783540283096
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2005
作者:Martín Abadi,Luca Alfaro
主题词:Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages,Compilers,Interpreters,Programming Techniques,Computer Communication Networks
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

CONCUR 2009 - Concurrency Theory

  • 作者:Mario Bravetti,Gianluigi Zavattaro
  • EISBN:9783642040818
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

CONCUR '95 Concurrency Theory

  • 作者:Scott Smolka
  • EISBN:9783540447382
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

CONCUR 2004 -- Concurrency Theory

  • 作者:Philippa Gardner,Nobuko Yoshida
  • EISBN:9783540286448
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

CONCUR 2002 — Concurrency Theory

  • 作者:Luboš Brim,Mojmír Křetínský,Antonín Kučera,Petr Jančar
  • EISBN:9783540456940
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

CONCUR 2001 — Concurrency Theory

  • 作者:Kim G. Larsen,Mogens Nielsen
  • EISBN:9783540446859
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

CONCUR 2006 – Concurrency Theory

  • 作者:Christel Baier,Holger Hermanns
  • EISBN:9783540373773
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006