"19" Result
Sort By:
This manual provides rules for Java practitioners to follow. While illustrating these rules with examples of correct and incorrect usage, the book provides standards, conventions and guidelines for solid Java code which will be easy to maintain.
The B method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a…