Partial-Order Methods for the Verification of Concurrent Systems

EISBN:9783540494447
PISBN:9783540607618
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1996
版次:1996
作者:Patrice Godefroid
主题词:Computer Science,Logics and Meanings of Programs,Software Engineering,Programming and Operating Systems,Computer System Implementation,Software Engineering,Computer Communication Networks,Computation by Abstract Devices
语种:英语
相关推荐

Partial-Order Methods for the Verification of Concurrent Systems

  • 作者:Patrice Godefroid
  • EISBN:9783540494447
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

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

Compositional Verification of Concurrent and Real-Time Systems

  • 作者:Eric Y. T. Juan,Jeffrey J. P. Tsai
  • EISBN:9781461510093
  • 出版社:Springer US
  • 出版时间:2002

Compositional Verification of Concurrent and Real-Time Systems

  • 作者:Eric Y.T. Juan,Jeffrey J.P. Tsai
  • EISBN:9781461510093
  • 出版社:Springer US
  • 出版时间:2002

Spectral and High Order Methods for Partial Differential Equations

  • 作者:Jan S. Hesthaven,Einar M. Rønquist
  • EISBN:9783642153372
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011