
Formal Methods for Industrial Critical Systems
Stefan Kowalewski, Marco Roveri
₹5,508

First International Conference, Adntiic 2010, Huerta Grande, Argentina, Oct
by Francisco V. Cipolla Ficarra, Carlos De Castro Lozano, Mauricio Pérez Jiménez
Free delivery. Nothing extra to pay at checkout.
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Advances in New Technologies, Interactive Interfaces, and Communicability, held in Huerta Grande, Argentina, in October 2010. The 16 revised papers presented together with 3 keynote lectures were carefully reviewed and selected from numerous submissions.
Description supplied by the publisher.