
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
₹5,685

22nd International Conference, Concur 2011, Aachen, Germany, September 6-9, 2011, Proceedings
by Joost-Pieter Katoen, Barbara König
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions.
Description supplied by the publisher.