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

New Feature: You can now embed Open Library books on your website!   Learn More
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

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book

Amazon
Better World Books $6.98 (used)

Zut alors! 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