Process Algebra with Timing

EISBN:9783662049952
PISBN:9783540434474
出版社:Springer Berlin Heidelberg
出版类型:Graduate/advanced undergraduate textbook
出版时间:2002
版次:2002
作者:J.C.M. Baeten,C.A. Middelburg
主题词:Computer Science,Theory of Computation,Software Engineering,Symbolic and Algebraic Manipulation,Data Structures,Algebra
语种:英语
相关推荐

Process Algebra with Timing

  • 作者:J. C. M. Baeten,C. A. Middelburg
  • EISBN:9783662049952
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Introduction to Process Algebra

  • 作者:Wan Fokkink
  • EISBN:9783662042939
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Handbook of Process Algebra

  • 作者:J.A. Bergstra / A. Ponse / S.A. Smolka
  • PISBN:9780444828309
  • 出版时间:Pre 2007

Introduction to Process Algebra

  • 作者:Wan Fokkink
  • EISBN:9783662042939
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Timing Performance of Nanometer Digital Circuits Under Process Variations

  • 作者:Victor Champac,Jose Garcia Gervacio
  • EISBN:9783319754659
  • 出版社:Springer International Publishing
  • 出版时间:2018

Handbook of Truly Concurrent Process Algebra

  • 作者:Yong Wang
  • PISBN:9780443215155
  • 出版社:Morgan Kaufmann
  • 出版时间:2024