Verification of sequential and concurrent programs

• 作者： Apt, Krzysztof R. 1949-
• 其他作者：
  • Olderog, E.-R. Ernst-RudigerErnst-RudigerErnst-RudigerErnst-Rudiger
• 出版： New York : Springer
• 版本：2nd ed.
• 叢書名： Graduate texts in computer science
• 主題： Computer software--Verification
• ISBN： 0387948961 :: US$44.95
• 資料類型: 圖書
• 內容註: Includes bibliographical references and index
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: