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
scientific article; zbMATH DE number 33425 - MaRDI portal

scientific article; zbMATH DE number 33425

From MaRDI portal

Publication:3988859

Jump to:navigation, search

zbMATH Open0746.68061MaRDI QIDQ3988859

Irina A. Lomazova

Publication date: 28 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

formal semantics algebraic specifications abstract implementation stepwise refinement of programs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3988859)

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