0

My Bag

0.00

₹

Download App

Applications of Formal Methods 14.0%OFF

Applications of Formal Methods

by Michael G. Hinchey and J. P. Bowen

  • ISBN

    :  

    9780133669497

  • Publisher

    :  

    Prentice Hall

  • Subject

    :  

    Technology, Engineering, Agriculture, Computer Science, Technology: General Issues

  • Year

    :  

    1995

₹

6056.0

14.0% OFF

₹

5208.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

    This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Related Items

-

of

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    8252.0

    9596.0

    14% OFF

  • OFFER

    Catastrophe Disentanglement: Getting Software Projects Back on Track

    E. M. Bennatan

    Starts At

    2861.0

    3920.0

    27% OFF

  • OFFER

    Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives

    Nick Rozanski

    Starts At

    2913.0

    3834.0

    24% OFF

  • OFFER

    How to Set Up Information Systems: A Non-specialist's Guide to the Multiview Approach

    Simon Bell

    Starts At

    8780.0

    10210.0

    14% OFF

  • OFFER

    Essentials of Computer Organization and Architecture

    Linda Null

    Starts At

    11586.0

    13473.0

    14% OFF

  • OFFER

    Essentials of Software Engineering

    Frank Tsui

    Starts At

    2413.0

    3657.0

    34% OFF

  • OFFER

    Essentials of Software Engineering, Second Edition

    Frank Tsui

    Starts At

    3674.0

    5033.0

    27% OFF

  • OFFER

    Generating Software from Specifications

    Uwe Kastens

    Starts At

    2902.0

    3583.0

    19% OFF

  • Managing Systems and IT Projects

    Frank Tsui

    Starts At

    5239.0

  • OFFER

    Principles of Modern Operating Systems

    Jose Garrido

    Starts At

    8683.0

    11426.0

    24% OFF

  • Software Specification Methods

    Henri Habrias

    Starts At

    1295.0

© 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