Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Chilton, Christopher"'
Autor:
Chilton, Christopher James
This thesis provides a specification theory with strong algebraic and compositionality properties, allowing for the systematic construction of new components out of existing ones, while ensuring that given properties continue to hold at each stage of
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.595986
Publikováno v:
Mathematics Education Research Journal; Sep2023, Vol. 35 Issue 3, p557-582, 26p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.