Handbook of Logic in Computer Science. Volume 2:...

Main
Computers - Programming
Handbook of Logic in Computer Science....

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

Name: Handbook of Logic in Computer Science. Volume 2: Background: Computational structures
ISBN: 9780198537618

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

5.0 / 4.0

0 comments

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

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 work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

Категории:

Computers - Programming

Година:

1992

Издателство:

Clarendon Press

Език:

english

Страници:

582

ISBN 10:

0198537611