4 edition of Verification of several parallel coordination programs based on descriptions of their reachability sets. found in the catalog.
Published
1981
by Courant Institute of Mathematical Sciences, New York University in New York
.
Written in English
Edition Notes
Series | Ultracomputer note -- 33 |
The Physical Object | |
---|---|
Pagination | 50 p. |
Number of Pages | 50 |
ID Numbers | |
Open Library | OL17980798M |
Thinking
Essex
Orpheus and Eurydice
Compliance assistance for group health plans
Toward an experimental definition of criminal mind.
Psychology and sociology
Middle distillate prices and supplies
Mobility of criminal cases in Iowa district courts, 1956 to 1969
Two centuries of Danish design
Dandelion summer
Mšecké Žehrovice in Bohemia
Government information and communication