Shelfclass_id |
3.F.4 |
Sortkey |
ZWIERS, JOB |
Authors |
Job Zwiers |
Title |
Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship |
Publisher |
Springer-Verlag |
Year |
cop. 1989 |
Languages |
eng |
Isbn |
0387508457, 3540508457 |
Series |
Lecture Notes in Computer Science |
Volume |
321 |
Issn |
0302-9743 |
Description |
(New York) (Berlin) vi, 272 s. |
Record date |
20071105 |
Location |
New York |
Keywords |
DNP. TNP, Parallell processing (Electronic computers), Automatic theorem proving, Programmeringsteknik, Software engineering |