Buy Used and New T. S. Maibaum Books

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling

by Samson Abramsky,T. S. Maibaum,Dov M. Gabbay

ISBN 13: 9780198537809

Format: Illustrated (668 pages)
Publisher: OUP Oxford
Published: 04 May 1995

Save for later

Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods

by Samson Abramsky,Dov M. Gabbay,T. S. Maibaum

ISBN 13: 9780198537816

Format: Illustrated (556 pages)
Publisher: OUP Oxford
Published: 25 Jan 2001

Save for later