Understanding Concurrent Systems

EISBN:9781848822580
PISBN:9781848822573
出版社:Springer London
出版类型:Graduate/advanced undergraduate textbook
出版时间:2010
作者:A.W. Roscoe
主题词:Operating Systems,Logics and Meanings of Programs
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Texts in Computer Science
相关推荐

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

Concurrent Simultaneous Engineering Systems

  • 作者:Hans-Jörg Bullinger,Joachim Warschat
  • EISBN:9781447114772
  • 出版社:Springer London
  • 出版时间:1996

Specification and Verification of Concurrent Systems

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

Supervisory Control of Concurrent Systems

  • 作者:Marian V. Iordache,Panos J. Antsaklis
  • EISBN:9780817644888
  • 出版社:Birkhäuser Boston
  • 出版时间:2006

Specification and Verification of Concurrent Systems

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