CONCUR 2003 - Concurrency Theory
14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Roberto Amadio
Themen in »CONCUR 2003 - Concurrency Theory«
Bridging Erfüllbarkeitsproblem der Aussagenlogik Extreme Programming Monitor algorithm concurrency coordination distributed computing formal verification hybrid systems infinite state systems modeling petri nets process algebra verification
Stimmen zu »CONCUR 2003 - Concurrency Theory«
Details
ISBN: 9783540451877
Verlag: Springer Berlin
Erscheinung: 03.12.2003