Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures: Handbk Of Logic In Compute

by S. Abramsky

2020-07-23 02:12:34

The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monog... Read more
The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures, semantic modelling, theoretical methods in specification and verification, and logical methods in computer science. The result of five years of cooperative effort by some of the field's most eminent scholars, this series will undoubtedly be the standard reference work in logic and theoretical computer science for years to come. Less

Book Details

File size9.21 X 6.14 X 1.3 in
Print pages582
PublisherOxford University Press
Publication date June 1, 1992
LanguageEnglish
ISBN9780198537618

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 840.00
BetterWorld.com - New, Used, Rare Books & Textbooks In Stock Buy USD 70.29
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 840.00
BetterWorld.com - New, Used, Rare Books & TextbooksIn Stock
Format
Condition
Buy USD 70.29
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free