
Future Tendencies in Computer Science, Control and Applied Mathematics
Alain Bensoussan, Jean-Pierre Verjus
₹5,571

6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
by Achim Brucker, Jacques Julliand
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences.
Description supplied by the publisher.