Welcome![Sign In][Sign Up]
Location:
Downloads SourceCode Other ELanguage
Title: The_B_Language_and_Method Download
 Description: & 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.
 Downloaders recently: [More information of uploader chongwuj]
 To Search:
  • [asn1c-0.9.19.tar] - ASN.1 to C/C compiler source. Support BE
  • [aacdec] - TnsFilter (intlength, double* spec, TNS_
  • [LayerList] - Layer Manager extends the listctrl, comb
File list (Check if you may need any files):

CodeBus www.codebus.net