& lt; B language and methods: practical formalized development guide > & gt; This book introduces the B abstract machine symbol language and is used to support formal specification and high integration System development side hang. Firstly, the development history of B language and its relationship with other languages are introduced After that, the basic mathematical symbol, such as collection and sequence, represents the structural mechanism of B language, and then its branch The method of large scale programming is used to describe the description of B symbol language in a comprehensive manner.

Packet : 71477178the_b_language_and_method.zip filelist
B语言与方法：实用形式化开发指南.pdf

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．