
Model Checking Software
Dragan Bosnacki, Stefan Leue
₹5,510

10th International Conference, Pervasive 2012, Newcastle, Uk, June 18-22, 2012. Proceedings
by Judy Kay, Paul Lukowicz, Hideyuki Tokuda
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 10th International Conference on Pervasive Computing, Pervasive 2012, held in Newcastle, UK, in June 2012. The 28 revised papers presented were carefully reviewed and selected from 138 submissions.
Description supplied by the publisher.