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 - Development![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Main Library | S | 004 DIX (Browse shelf) | Available | 135500 |
Includes references and index.
There are no comments for this item.