Enlarge

Formal methods for interactive systems

Alan John Dix

Publication Data

Title Formal methods for interactive systems
Author Alan John Dix
Publisher Academic
Publication date 1991
Publication location London
Language English

Catalogue Data

OBNB ID GB9138426
ISBN 10 0122183150
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.2

ISBD

P1053 369p.
P1042 Includes bibliography and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal methods for interactive systems by Alan John Dix. ISBN 0122183150. Published by Academic in 1991. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.