کتاب های نویسنده Nobuko Yoshida (eds.)

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
Published on: 2004
Unordered Computer Science and Theory English

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK …

Concurrency DistributedSystems Algorithms Verification FormalMethods
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
Published on: 2004
Unordered Software Engineering English

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK …

Concurrency DistributedSystems FormalVerification ProcessAlgebra ModelChecking

Page of

تماس با پشتیبان