This book is currently unavailable on Open Library, check out available alternatives.
An edition of Formal Methods for Interactive Systems (Computers and People Series) (1991)

Formal Methods for Interactive Systems (Computers and People Series)

by

  • 1 Want to read
Cover of: Formal Methods for Interactive Systems (Computers and People Series) by Alan John Dix, Alan John Dix
Formal Methods for Interactive Systems (Computers and People Series) by Alan John Dix, Alan John Dix
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
  • 1 Want to read
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
September 17, 2024 | History
Edit
An edition of Formal Methods for Interactive Systems (Computers and People Series) (1991)

Formal Methods for Interactive Systems (Computers and People Series)

by

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Academic Pr
Language
English
Pages
384

Subjects

Interactive computer systems Computer graphics Software engineering
Edition Availability
Cover of: Formal Methods for Interactive Systems (Computers and People Series)
Formal Methods for Interactive Systems (Computers and People Series)
June 1991, Academic Pr
Hardcover in English
  • Nearby Libraries

Add another edition?

Book Details

The Physical Object

Format
Hardcover
Number of pages
384
Dimensions
9.5 x 6.2 x 1 inches
Weight
1.4 pounds

Edition Identifiers

Open Library
OL10071352M
ISBN 10
0122183150
ISBN 13
9780122183157
OCLC/WorldCat
26213250
Digital Object Identifier (DOI)
10.1604/9780122183157
Goodreads
5408492

Work Identifiers

Work ID
OL9316526W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON / OPDS |

Wikipedia citation

Copy and paste this code into your Wikipedia page.

{{cite book|author=Alan John Dix |date=June 1991 |title=Formal Methods for Interactive Systems (Computers and People Series) |publisher=Academic Pr |isbn=978-0-12-218315-7 |oclc=26213250 |ol=10071352M}}