The following pages link to Karl N. Levitt (Q1285658):
Displayed 14 items.
- (Q1212352) (redirect page) (← links)
- Reasoning about programs (Q1212353) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- (Q2765466) (← links)
- (Q3024895) (← links)
- (Q4068058) (← links)
- (Q4425845) (← links)
- (Q4474068) (← links)
- An Organization for a Highly Survivable Memory (Q4766601) (← links)
- Cellular Interconnection Arrays (Q5549402) (← links)
- A survey of progress in coding theory in the Soviet Union (Q5550268) (← links)
- Cellular arrays for the parallel implementation of binary error-correcting codes (Q5568911) (← links)
- Cellular arrays for the solution of graph problems (Q5663902) (← links)
- (Q5683688) (← links)