This volume contains the proceedings of an ESPRIT Advanced Course entitled Future Parallel Computers held in Pisa, June 9-20, 1986. Interest in parall...
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show...
