Especificación, Verificación y Derivación Formal de Programas
J.Alvez X.Arregi J.Gaintzarain P.Lucio M.Maritxalar

Desde prácticamente los inicios de la Informática, una de las líneas constantes de trabajo [...] Ver libro
Te presentamos los libros de Ciencias aplicadas e informática,, Informática - Programación en Papel en español etiquetados en software gratuitos que coinciden con tu búsqueda. En Bubok disponemos de miles de libros que no podrás encontrar en otro sitio, libros de autores noveles que enriquecen con sus obras nuestra librería y que nosotros te ofrecemos para que la disfrutes.
¿Quieres que te informemos de cómo publicar tu obra? Déjanos tu teléfono y te llamamos sin compromiso.