Handbook of Logic in Computer Science: Volume 4. Semantic Modelling Image close
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling on Hardback
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling on Hardback
Show Hide Adult Content
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

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

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$1162.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $290.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Handbook of Logic in Computer Science

See all products in this series

Handbook of Logic in Computer Science: Volume 3. Semantic Structures on Hardback
$1157.99
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Hardback
Available - Usually ships in 3-4 weeks
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures on Hardback
$1535.99
Handbook of Logic in Computer Science: Volume 5. Algebraic and...
Hardback
Available - Usually ships in 3-4 weeks
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures on Hardback
$1276.99
Handbook of Logic in Computer Science: Volume 2. Background:...
Hardback
Available - Usually ships in 3-4 weeks

Description

This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
Release date Australia
May 4th, 1995
Audience
  • Professional & Vocational
Contributors
  • Edited by Dov M Gabbay
  • Edited by S Abramsky
  • Edited by T.S.E. Maibaum
Illustrations
line figures
Pages
666
Dimensions
161x241x40
ISBN-13
9780198537809
Product ID
2008392

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Software Packages >
Computer graphics software
Books >
Computers & Internet >
Graphical & digital media applications >
3D graphics & modelling
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation