Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by WorkBot
January 29, 2010 | History

Computer-aided verification of coordinating processes 1 edition

Computer-aided verification of coordinating processes
R. P. Kurshan

Read

No readable version available.

Buy

Amazon $5.38 (used)
Better World Books $14.98 (used)

Lists

You could add Computer-aided verification of coordinating processes to a list if you log in.
Sheesh. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Computer-aided verification of coordinating processes
the automata-theoretic approach
Robert P. Kurshan.

Published 1994 by Princeton University Press in Princeton .
Written in English.

Edition Notes

Series
Princeton series in computer science

Classifications

Dewey Decimal Class
004.0151

The Physical Object

Pagination
270p. ;
Number of pages
270

ID Numbers

Open Library
OL22587782M
ISBN 10
0691034362
Goodreads
3483303

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 29, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page