The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
A computing unit for FFP function evaluation in support of correctness proofs
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A model of a microprogrammed functional-oriented computing unit
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
| Hi-index | 0.00 |