Handbook of Logic in Computer Science: Volume 2. Background: Computational Struc

The Nile on eBay   Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures by T.S.E. Maibaum, Dov M. Gabbay, S. Abramsky

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.

FORMATHardcover LANGUAGEEnglish CONDITIONBrand New Publisher Description

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference workin logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

Author Biography

Maibaum, King's College London, UK.

Table of Contents

J.W. Klop: Term rewriting systems; H.P. Barendregt: Lambda calculi with types; D.M. Gabbay: Elements of algorithmic proof; Lawrence C. Paulson: Designing a theorem prover; Colin Stirling: Modal and temporal logics.

Review

`It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors, authors and all those others who have worked for so many years on this substantial project.'Times Higher Education Suplement

Long Description

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference workin logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

Review Text

`It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors, authors and all those others who have worked for so many years on this substantial project.'Times Higher Education Suplement

Review Quote

'It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World

Details ISBN0198537611 Short Title HANDBK OF LOGIC IN COMPUTER SC Series Handbook of Logic in Computer Science Language English ISBN-10 0198537611 ISBN-13 9780198537618 Media Book Format Hardcover Series Number 2 Author S. Abramsky Imprint Clarendon Press Place of Publication Oxford Country of Publication United Kingdom Illustrations line figures Edited by T. S. E. Maibaum Subtitle Background Computational Structures Position Professor of Computing Science UK Release Date 1992-12-10 AU Release Date 1992-12-10 NZ Release Date 1992-12-10 Birth 1980 Death 1844 Affiliation Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, University of London Qualifications OBE Pages 582 Publisher Oxford University Press Year 1992 Publication Date 1992-12-10 DEWEY 511.3 Audience Professional & Vocational We've got this

At The Nile, if you're looking for it, we've got it.With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!

TheNile_Item_ID:97827395;