0

My Bag

0.00

₹

Download App

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling 14.0%OFF

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

by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

  • ISBN

    :  

    9780198537809

  • Publisher

    :  

    Oxford University Press, USA

  • Subject

    :  

    Computer Programming / Software Development, Graphical & Digital Media Applications, Linguistics

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    672

  • Year

    :  

    1995

₹

65906.0

14.0% OFF

₹

56679.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 20-23 Business Days

View Details

Share it on

  • Description

    The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.

Related Items

-

of

  • OFFER

    ASP.NET: Developer's Guide

    Greg Buczek

    Starts At

    877.0

    1070.0

    18% OFF

  • OFFER

    Digital Filters : Analysis, Design And Applications

    Andreas Antoniou

    Starts At

    487.0

    625.0

    22% OFF

  • OFFER

    Visual C++ Programming

    Yashavant P. Kanetkar

    Starts At

    288.0

    390.0

    26% OFF

  • Integrated Telecommunications Management Solutions

    Graham Chen

    Starts At

    11558.0

  • Modeling and Asynchronous Distributed Simulation: Analyzing Complex Systems

    Sumit Ghosh

    Starts At

    13814.0

  • OFFER

    SOFTWARE DESIGN, 2/ED

    Budgen

    Starts At

    222.0

    285.0

    22% OFF

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    8252.0

    9596.0

    14% OFF

  • OFFER

    Designing Concurrent, Distributed, and Real-Time Applications with UML

    Hassan Gomaa

    Starts At

    6079.0

    7999.0

    24% OFF

  • OFFER

    The Electronic Design Studio: Architectural Education in the Computer Era

    Malcolm McCullough

    Starts At

    6602.0

    7677.0

    14% OFF

  • OFFER

    An Introduction to Distributed Algorithms

    Valmir C. Barbosa

    Starts At

    521.0

    695.0

    25% OFF

  • OFFER

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

    S. Abramsky

    Starts At

    56679.0

    65906.0

    14% OFF

  • OFFER

    Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Handbook of Logic in Computer Science Vol. 3)

    S. Abramsky

    Starts At

    56679.0

    65906.0

    14% OFF

  • OFFER

    Handbook of Logic in Computer Science 5

    S. Abramsky

    Starts At

    48698.0

    56626.0

    14% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- Bag Empty

Your Bag is Empty!!

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : null Total Savings        : Grand Total :

Order Summary