Warning: foreach() argument must be of type array|object, null given in /var/www/html/w/extensions/MatomoAnalytics/includes/MatomoAnalyticsWiki.php on line 59
Information for "Automatic programming: A tutorial on formal methodologies" - MaRDI portal

Information for "Automatic programming: A tutorial on formal methodologies"

From MaRDI portal

Basic information

Display titleAutomatic programming: A tutorial on formal methodologies
Default sort keyAutomatic programming: A tutorial on formal methodologies
Page length (in bytes)15
Namespace ID0
Page ID9023333
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1
Counted as a content pageYes
Page views in the past month0
MaRDI portal item IDQ1060833

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorImport240129110113 (talk | contribs)
Date of page creation00:31, 31 January 2024
Latest editorAllProfilePages260409040437 (talk | contribs)
Date of latest edit09:40, 13 April 2026
Total number of edits2
Recent number of edits (within past 90 days)1
Recent number of distinct authors1

Page properties

Transcluded templates (20)

Pages included on this page:

MaRDI portal entities used in this page