Q.E.D. Code | - Reliable software through mathematical proof | |
H1 tags : Q.E.D. Code - Reliable software through mathematical proof | |
H2 tags : Sections; Recent comments; Subscribe; User login; Speaking at Dallas TechFest; Microsoft MVP in Client Application Development; Thought Cloud; Approaching an ideal from two directions; Line of business applications in XAML; Entities, values, facts, and projections; Provable APIs; Conditionals; Conditionals solution; The CAP Theorem and its Implications |
Last Update : | 26/December/2011 |
Google PR : | 2 |
Internal links : | 41 |
External links : | 18 |
Archive : | Check how did the site look in the past? |