Proving programs correct
Year of publication: |
1979
|
---|---|
Authors: | Anderson, Robert B. |
Publisher: |
New York : Wiley |
Subject: | Programmverifikation |
-
Endres, Albert, (1977)
-
Mathematical theory of program correctness
Bakker, Jacobus Willem de, (1980)
-
Blum, Edward K., (1979)
- More ...
-
Anderson, Robert B., (2006)
-
Ovaska, Tomi, (2010)
-
Indigenous Communities, Entrepreneurship, and Economic Development in the New Economy
Anderson, Robert B.,
- More ...