Partner

2 hits in 0.005 sec.

[External link] A theory for nondeterminism, parallelism, communication and concurrency [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
[External link] Algebraic implementations preserve program correctness [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Science of computer programming; 7
Subject Area: Informatik

Active filters [Remove filter]

Drill down result

Author / Editor [Remove filter]

Year of Publication [Remove filter]

Language