Process Algebra and Probabilistic Methods. Performance Modelling and Verification

EISBN:9783540448044
PISBN:9783540425564
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2001
作者:Luca Alfaro,Stephen Gilmore
主题词:Logics and Meanings of Programs,Software Engineering,Programming Languages,Compilers,Interpreters,System Performance and Evaluation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

  • 作者:Luca de Alfaro,Stephen Gilmore
  • EISBN:9783540448044
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

  • 作者:Holger Hermanns,Roberto Segala
  • EISBN:9783540456056
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

  • 作者:Holger Hermanns,Roberto Segala
  • EISBN:9783540456056
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Performance Assessment for Process Monitoring and Fault Detection Methods

  • 作者:Kai Zhang
  • EISBN:9783658159719
  • 出版社:Springer Fachmedien Wiesbaden
  • 出版时间:2016

The Craft of Probabilistic Modelling

  • 作者:J. Gani
  • EISBN:9781461386315
  • 出版社:Springer New York
  • 出版时间:1986

The Craft of Probabilistic Modelling

  • 作者:J. Gani
  • EISBN:9781461386315
  • 出版社:Springer New York
  • 出版时间:1986