Understanding behaviour of distributed systems using mCRL2

出版社:Cham, Switzerland : Springer, 2023.
ISBN:9783031230073
出版年:2023
作者:Atif,Muhammad,
资源类型:图书
细分类型:中文文献,西文文献
相关推荐

Using minicomputers in distributed systems

  • 作者:Green,Roy.
  • ISBN:0850122023
  • 出版社:Manchester : National Computing Centre, 1978.
  • 出版年:1978

Distributed autonomous robotic systems 2

  • 作者:Asama,H.,
  • ISBN:4431701907
  • 出版社:Tokyo : Springer, c1996.
  • 出版年:1996

Understanding distributed process control

  • 作者:Moore,J. A.
  • ISBN:0876647859
  • 出版社:Research Triangle Park, NC : Instrument Society of America, c1983.
  • 出版年:1983

Understanding and using structural concepts

  • 作者:Ji,Tianjian,
  • ISBN:9781498707299
  • 出版社:Boca Raton : CRC Press, Taylor & Francis Group, 2016.
  • 出版年:2016

Understanding and using Multiplan

  • 作者:Krumm,Rob,
  • ISBN:0893039217
  • 出版社:Bowie, MD : Brady Communications Co., 1985.
  • 出版年:1985

Understanding and using English grammar

  • 作者:AZAR,Betty Schrampfer
  • ISBN:7506201658
  • 出版社:New jersey Prentics-Hall 1981
  • 出版年:1981