543

edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

Clarendon Press, Oxford University Press , Clarendon Press, Oxford University Press

1992-

V., : ill. ; 25 cm

0198537352 , Includes bibliographical references and indexes

Contents: v. 1. Background, mathematical structure -- v. 2. Background, computational structure

Maibaum, Thomas S. E. , Gabbay, Dov M. , Abramsky, Samson

QA

76

.H2785

1992

IUST eb-153 -- eb153d18