Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Formal Specification of Complex Reasoning Systems

Formal Specification of Complex Reasoning Systems Based on Material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems, Vienna, 1992, Organized During ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam

Book (01 Aug 1993)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

    Publisher's Synopsis

    Formal specification methods are now well established in software engineering, helping to provide tools to support software development. This text, through the provision of a common example reasoning task, applies and compares various specification methods which are directly applicable to knowledge-based reasoning, thus showing how sytematic formal approaches are feasible, easy to understand and semantically founded.

    Book information

    ISBN: 9780133367850
    Publisher: Ellis Horwood
    Imprint: Ellis Horwood
    Pub date:
    DEWEY: 006.33
    DEWEY edition: 20
    Number of pages: 282
    Weight: 596g
    Height: 235mm
    Width: 174mm
    Spine width: 19mm

    We recommend

    $15.01off

    Add to basket

    $9.72off

    Add to basket

    $7.21off

    Add to basket

    $13.12off

    Add to basket

    $16.21off

    Add to basket

    $4.79off

    Add to basket

    $18.28off

    Add to basket

    $16.67off

    Learning DevSecOps

    Steve Suehring

    Paperback
    Published 24 May 2024

    Save $16.67

    • RRP $61.51
    • $44.84
    Add to basket

    $71.80off

    Add to basket