
Higher Order Logic Theorem Proving and Its Applications
Jeffrey J. Joyce, Carl-Johan H. Seger
₹5,642

Gi-Ntg Fachtagung Jülich, 23.-25. Februar 1981
by B. Mertens
Free delivery. Nothing extra to pay at checkout.
The accelerated development of faster and cheaper electronic components faces the software designer with new challenges. One of them is to predict the viability of current architecture and the performance of current operating systems on CPUs able to operate at instruction-per-second rates about one order of magnitude higher than those available today.
Description supplied by the publisher.