Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Conference on Software Reliability
Abstracts of papers submitted to the conference
Abstracts of the papers
Abstracts of the papers
"A comparison of Two Schemes for Specifying the Behavior of Systems with Concurrency" and "Well-Formed Representation of Programs".
Date: 15.07.1974(?)
Original document language: English
Authors: William E. Riddle

Images of pages:
1 2 3


Back
Next document (Advance Abstract of the paper)
Previous document (Abstract of the paper)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016