UID:
almafu_9959186097902883
Format:
1 online resource (VIII, 576 p.)
Edition:
1st ed. 1985.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-39363-3
Series Statement:
Lecture Notes in Computer Science, 190
Note:
Bibliographic Level Mode of Issuance: Monograph
,
Basic concepts -- Acquisition — environment -- A graph model based approach to specifications -- Formal foundation for specification and verification -- Language constructs for distributed programs -- The argus language and system -- Paradigms for distributed programs -- Issues and tools for protocol specification -- Conclusion.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-15216-4
Language:
English
DOI:
10.1007/3-540-15216-4
URL:
http://dx.doi.org/10.1007/3-540-15216-4