TITLE

Formal Methods for Real-Time Computing

AUTHOR(S) SURNAME, FORENAME

Heitmeyer, Constance & Mandrioli, Dino (Eds)

Places & Countries of PUBLISHERS    YEAR
Publication

Chichester, UK        John Wiley & Sons    1996

PAGES    ISBN        BINDING    PRICE

xvii+271    0-471-95835-2    Pbk    £29.95

A multi-authored book discussing the place of formal methods in the design of real time systems.

            5.5.96    4439

Converted using Wp2Html from Andrew Scriven. Copyright Cliff Dilloway on the last date above. The Authors Moral Rights are asserted