LIBROS DEL AUTOR: joseph sifakis

2 resultados para LIBROS DEL AUTOR: joseph sifakis

joseph sifakis Eliminar filtro Quitar filtros
  • Understanding and Changing the World
    Joseph Sifakis
    This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies exclusively on concepts and principles from the theory of computing and logic. It start...
    Disponible

    62,10 €

  • Automatic Verification Methods for Finite State Systems
    Joseph Sifakis
    This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. ...
    Disponible

    65,77 €