phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

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

Language EnglishEnglish
Book Hardback
Book Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures Dov M. Gabbay
Libristo code: 04527495
Publishers Oxford University Press, December 1992
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of applica... Full description
? points 1501 b
15 009 Kč včetně DPH
In stock at our supplier Shipping in 15-20 days

30-day return policy

You might also be interested in

Accusers Lindsey Davis / Paperback
common.buy 258 Kč
Handbook of Categorical Algebra: Volume 1, Basic Category Theory Francis Borceux / Paperback
common.buy 1 629 Kč
Sport and Exercise Science Dean Sewell / Paperback
common.buy 2 643 Kč
Descriptive Complexity, 1 Neil Immerman / Paperback
common.buy 2 765 Kč
Applications of Process Algebra Samson Abramsky / Paperback
common.buy 2 981 Kč
Automata, Languages and Programming Samson Abramsky / Paperback
common.buy 3 089 Kč
Starting Category Theory / Hardback
common.buy 4 144 Kč
Arctic Ordeal John Richardson / Paperback
common.buy 1 026 Kč
On the Limits / Hardback
common.buy 656 Kč
Approaches to the Study of Attic Vases Philippe Rouet / Hardback
common.buy 8 437 Kč
Escape Barbara Delinsky / Paperback
common.buy 253 Kč
Bible Babel Kristin Swenson / Paperback
common.buy 359 Kč

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.

About the book

Full name Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Author Dov M. Gabbay, Samson Abramsky, T.S.E. Maibaum
Language English
Binding Book - Hardback
Date of issue 1992
Number of pages 582
EAN 9780198537618
ISBN 0198537611
Libristo code 04527495
Publishers Oxford University Press
Weight 983
Dimensions 160 x 242 x 33

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Science: general issues
Computing & Information Technology > Computer programming / software engineering
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account