Formalization in program development (Q1169283): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Modified Report on the Algorithmic Language ALGOL 60
+Normal rank
@@ Property / cites work @@
+Q3859249
@@ Property / cites work: Q3859249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096399
@@ Property / cites work: Q4096399 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1169283