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

Temporal Logic for Real-Time Systems

Temporal Logic for Real-Time Systems - Advanced Software Development Series

Hardback (02 Aug 1989)

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

    Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.

    Book information

    ISBN: 9780863800863
    Publisher: Research Studies Press
    Imprint: Wiley Blackwell
    Pub date:
    DEWEY: 001.64404
    DEWEY edition: 18
    Language: English
    Number of pages: 224
    Weight: 500g
    Height: 229mm
    Width: 152mm

    We recommend

    $3.60off

    Add to basket

    $7.41off

    User-Centered Design

    Travis Lowdermilk

    Paperback
    Published 12 Apr 2013

    Save $7.41

    • RRP $33.30
    • $25.89
    Add to basket

    $15.89off

    Add to basket

    $17.75off

    Add to basket

    $26.05off

    Add to basket

    $3.75off

    Add to basket

    $0.56off

    Add to basket
    Add to basket
    Add to basket