Formal methods applied to complex systems implementation of the B Method / [electronic resource] :

• 其他作者：
  • Boulanger, Jean-Louis,
• 其他題名：
  • Computer engineering series (London, England)
• 出版： London :Hoboken, NJ : ISTE ;Wiley
• 叢書名： Computer engineering series
• 主題： B method (Computer science) , Formal methods (Computer science)
• ISBN： 9781119002680 (electronic bk.) 、 1119002680 (electronic bk.) 、 9781119002727 (electronic bk.) 、 1119002729 (electronic bk.)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Includes bibliographical references and index.
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: