Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Hierarchic structure of program modules - MaRDI portal

Hierarchic structure of program modules

From MaRDI portal

Publication:789168

Jump to:navigation, search

zbMath0532.68022MaRDI QIDQ789168

O. I. Rau, V. L. Mankevich

Publication date: 1983

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

concurrency transformations hierarchic program design program segmentation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Hierarchic structure of program modules

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:789168&oldid=12714269"