The History of Terrorism
Preview
Open in TheBrain
Links
Categories
Wikipedia categories
Categories by parameter
Categories by topic
Subfields by academic discipline
Subfields of computer science
Formal methods
Predicative programming
Attachments
Predicative programming - Wikipedia
Parents
Eric Hehner
Formal methods
Formal specification languages
Logical calculi
Jumps
Predictive programming (conspiracies)