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.
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):
