Zobrazeno 1 - 10
of 113
pro vyhledávání: '"Dunne, Steve"'
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming August 2024 140
In his book A Practical Theory of Programming, Eric Hehner proposes and applies a remarkably radical reformulation of set theory, in which the collection and packaging of elements are seen as separate activities. This provides for unpackaged collecti
Externí odkaz:
http://arxiv.org/abs/1911.04344
Autor:
Dunne, Steve, Ferreira, João F., Mendes, Alexandra, Ritchie, Campbell, Stoddart, Bill, Zeyda, Frank
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2023 130
Publikováno v:
In Future Healthcare Journal February 2020 7 Supplement 1:s8-s8
Autor:
Dunne, Steve
Publikováno v:
In Electronic Notes in Theoretical Computer Science November 2002 70(3):4-20
Autor:
Dunne, Steve
Publikováno v:
In Electronic Notes in Theoretical Computer Science January 2001 42:104-123
Autor:
Dunne, Steve
Publikováno v:
Travel Weekly (UK). 5/30/2024, Issue 2719, p14-14. 1p.
Autor:
Dunne, Steve
Publikováno v:
Travel Weekly (UK). 1/4/2024, Issue 2968, p12-13. 2p.
Autor:
Dunne, Steve
Publikováno v:
Travel Weekly (UK). 4/25/2024, Issue 2714, p12-12. 1p.
Autor:
Dunne, Steve
Publikováno v:
Travel Weekly (UK). 1/25/2024, Issue 2701, p10-10. 1p.