About metamathematics of computer programming
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| PhysicalDescription: | Sch. |
| ISSN: | 1335-8243 |
| Subjects: |
Similar Items
Kurt Gödel matemathematical results on formaky undecidable propositions: completeness vs. incompleteness
by: Duží, Marie
by: Duží, Marie
Logical reasoning about programming of mathematical machines
by: Novitzká, Valerie
by: Novitzká, Valerie
The logical basis for computer programming. Vol. 2: Deductive Systems
by: Fiby, Rudolf, 1946-2014, et al.
by: Fiby, Rudolf, 1946-2014, et al.
Program derivation: The development of programs from specification international computer science series
by: Návrat, Pavol, 1952-, et al.
by: Návrat, Pavol, 1952-, et al.
