Follow
( Publications: 31 | Followers: 0 )

Abstract Separation Algebra

Subject matter: specs. variables (p, q, r) stand for computer programs, designs, contracts, specifications,… they all describe what happens inside/around a computer ...

Publish on Category: All 0

0

Embed

Share

Upload

Abstract Separation Algebra