NAPAW 92
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
S. Purushothaman
Themen in »NAPAW 92«
Bisimulation algebra calculus computer computer science concurrency development formal methods process algebra real-time semantics simulation structured analysis testing verification
Stimmen zu »NAPAW 92«
Details
ISBN: 9781447132172
Verlag: Springer London
Erscheinung: 06.12.2012