Specification and Analysis of Concurrent Systems

EISBN:9783642773372
PISBN:9783540552048
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1992
版次:1992
作者:Ryszard Janicki,Peter E. Lauer
主题词:Computer Science,Computation by Abstract Devices,Logics and Meanings of Programs,Programming Techniques,Software Engineering,Operating Systems,Computer Communication Networks
语种:英语
相关推荐

Specification and Analysis of Concurrent Systems

  • 作者:Ryszard Janicki,Peter E. Lauer
  • EISBN:9783642773372
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1992

Specification and Verification of Concurrent Systems

  • 作者:Charles Rattray
  • EISBN:9781447135340
  • 出版社:Springer London
  • 出版时间:1990

Specification and Verification of Concurrent Systems

  • 作者:C. Rattray
  • EISBN:9781447135340
  • 出版社:Springer London
  • 出版时间:1990

The Analysis of Concurrent Systems

  • 作者:B.T. Denvir,W.T. Harwood,M.I. Jackson,M.J. Wray
  • EISBN:9783540397311
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

The Analysis of Concurrent Systems

  • 作者:B. T. Denvir,W. T. Harwood,M. I. Jackson,M. J. Wray
  • EISBN:9783540397311
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Understanding Concurrent Systems

  • 作者:A.W. Roscoe
  • EISBN:9781848822580
  • 出版社:Springer London
  • 出版时间:2010