The Analysis of Concurrent Systems
Cambridge, September 12-16, 1983. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
B.T. Denvir
Themen in »The Analysis of Concurrent Systems«
Analysis Systems concurrency logic real-time semantics verification
Stimmen zu »The Analysis of Concurrent Systems«
Details
ISBN: 9783540397311
Verlag: Springer Berlin
Erscheinung: 05.07.2005