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
Algebraic specifications are not difficult to write - MaRDI portal

Algebraic specifications are not difficult to write

From MaRDI portal

Publication:1097026

Jump to:navigation, search

zbMath0634.68006MaRDI QIDQ1097026

Norman Y. Foo

Publication date: 1986

Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)

zbMATH Keywords

algebraic specifications implementation algebraic specification data abstraction protocols abstract data type

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

This page was built for publication: Algebraic specifications are not difficult to write

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