
Model Checking and Artificial Intelligence
Ron Van Der Meyden, Jan-Georg Smaus
₹5,449

5th International Conference on Cryptology in Africa, Ifrane, Morocco, July 10-12, 2012, Proceedings
by Aikaterini Mitrokotsa, Serge Vaudenay
Free delivery. Nothing extra to pay at checkout.
Progress in Cryptology -- Africacrypt 2012 is a carefully curated title by Aikaterini Mitrokotsa | Serge Vaudenay , published by Springer .
Description supplied by the publisher.