0

My Bag

0.00

₹

Download App

Mathematical Theory of Computation

Mathematical Theory of Computation

by Zohar Manna

  • ISBN

    :  

    9780486432380

  • Publisher

    :  

    Dover Publications

  • Subject

    :  

    Mathematics, Computer Programming / Software Development

  • Binding

    :  

    Paperback

  • Pages

    :  

    464

  • Year

    :  

    1224

₹

2128.0

₹

2128.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

Estimated Shipping Time : 5-7 Business Days

View Details

Share it on

  • Description

    With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.

Related Items

-

of

  • OFFER

    The Book of Numbers

    Devi Shakuntala

    Starts At

    135.0

    165.0

    18% OFF

  • OFFER

    Maths: Bk. 5

    Shirley Dyall

    Starts At

    55.0

    56.0

    1% OFF

  • STORY OF ZERO

    Salwi D M

    Starts At

    12.0

  • OFFER

    Making Decisions

    D. V. Lindley

    Starts At

    6849.0

    9383.0

    27% OFF

  • OFFER

    Discrete And Combinatorial Mathematics

    Grimaldi R P

    Starts At

    303.0

    399.0

    24% OFF

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    8252.0

    9596.0

    14% OFF

  • OFFER

    Vedic Ganit:Athva Vedon se Prapt Solah Saral Ganiteeya Sutras

    Bharati Krsna Tirthaji Maharaja

    Starts At

    140.0

    165.0

    15% OFF

  • Man Who Knew Infinity

    Robert Kanigel

    Starts At

    599.0

  • OFFER

    An Introduction to Distributed Algorithms

    Valmir C. Barbosa

    Starts At

    521.0

    695.0

    25% OFF

  • OFFER

    Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)

    Carl A. Gunter

    Starts At

    12973.0

    15085.0

    14% OFF

  • OFFER

    ASP.NET: Developer's Guide

    Greg Buczek

    Starts At

    877.0

    1070.0

    18% 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

    795.0

  • OFFER

    SOFTWARE DESIGN, 2/ED

    Budgen

    Starts At

    222.0

    285.0

    22% 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

- 1 Item

null

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : 0.0 Total Savings        : Grand Total :

Order Summary