Añade libros en segundos con el escaneo de código de barras.
Solo escanea un ISBN para añadirlo instantáneamente a tu biblioteca. Disponible ahora en iOS y Android.
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures