Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource]

• 作者： McIver, Annabelle.
• 其他作者：
  • Morgan, Carroll.
  • SpringerLink (Online service)
• 出版： New York, NY : Springer Science+Business Media, Inc.
• 叢書名： Monographs in computer science
• 主題： Engineering--Mathematics , Probabilities , Systems engineering , Computer science , Programming Techniques. , Programming Languages, Compilers, Interpreters. , Logics and Meanings of Programs. , Mathematical Logic and Formal Languages.
• ISBN： 9780387270067 (electronic bk.) 、 9780387401157 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: