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 Hardware Verification: 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM 2006