Open Library logo
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 with:


Buy this book

Amazon $2.67 (used)
Better World Books $3.98 (used)

There's no description for this book yet. Can you add one?
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

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