Search

Cover image

Normal view MARC view ISBD view

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

DDC classification: 4

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes
Comments ( 0 )

Item type	Current location	Collection	Call number	Status	Date due	Barcode
Books in Stacks (S)	Main Library	S	004 DIX (Browse shelf)	Available		135500

Browsing Main Library Shelves , Collection code: S Close shelf browser

Previous	No cover image available	No cover image available		No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	004 DAG Computers and information technology /	004 DIC The P.C.Support hand book: the configuration and systems guide /	004 DIJ Selected writings on computing : a personal perspective	004 DIX Formal methods for interactive systems /	004 ERA Pariganaka ekalas kireema ha nadaththuwa	004 ERC Introduction to digital systems	004 ERI Computer: concepets, implications, and applications with microsft works 3.0 for	Next

Includes references and index.

There are no comments for this item.

Log in to your account to post a comment.

© University of Jaffna