KickJava.com > Free Computer Books > Formal

• 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

---