Tag:Hoare
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
programming pi-calculus logic research concurrency computation computer cs mathematics theory parallel science picalculus math calculus testing computerscience proof software communication computing program academic processing configuration computers people history courseware articles%2Ctutorials%26how-tos compsi bioinformatics communications csguru @wikipedia computerscientist quicksort csp bpmn ideas commonknowledge bookmarksmenu deep_theory cuny-proglang embedded-module formalmethods correctness compsci formal computer-science test technology functionalprogramming distributed development hoare-logic geek hoarelogic diversions
Articles
- Hoare logic (4)
- Pi-calculus (1)pi-calculus programming research concurrency computation parallel picalculus calculus wikipedia math theory communication configuration processing computerscience development deep_theory distributed diversions ideas hoare courseware compsi bioinformatics articles%2Ctutorials%26how-tos bookmarksmenu bpmn communications commonknowledge computers
- C. A. R. Hoare (1)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Hoare"
