The following pages link to (Q3339253):
Displaying 5 items.
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Methods of programming. Selected papers on the CIP-project (Q1202156) (← links)
- A type-theoretic approach to program development (Q2277827) (← links)