Java API By Example, From Geeks To Geeks. |

- Advanced Formal Verification
- Formal Structures for Computation and Deduction by Gérard Huet | Mirror
- Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Kenneth Slonneger
- Fundamental Concepts and Formal Semantics of Programming Languages: An Introductory Course. by Peter D. Mosses
- Guidelines For Formal Verification Systems by Barbara Mayer And Monica Mcgill Lu | Mirror
- Guidelines for Formal Verification Systems [4/1/89] by Nsa/ncsc
- Larch: Languages And Tools For Formal Specification by John V. Guttag And James J. Horning | Mirror
- Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning
- Semantics With Applications: A Formal Introduction by Hanne Riis Nielson
| A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame |