Formal methods for interactive systems / [by] Alan John Dix
By: DIX, Alan John.
Series: Computers and people series. Publisher: London Academic Press 1991Description: 369 p.-.ISBN: 122183150.Subject(s): User interface (computer systems) | Computer software - DevelopmentDDC classification: 4Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Main Library | S | 004 DIX (Browse shelf) | Available | 135500 |
Includes references and index.
There are no comments for this item.