CATEGORÍAS

TU CESTA
PEN S/

  • PRINCIPLES OF MODEL CHECKING
Continuar Comprando
Compartir

  • Facebook

PRINCIPLES OF MODEL CHECKING
Nuevo

S/ 400.00

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

  • ISBN: 9780262026499
  • CATEGORÍA: ELECTRICA
  • AUTOR: BAIER, CHISTEL
  • AÑO: 2016
  • IDIOMA: INGLES
  • PÁGINAS: 975
  • EDITORIAL: THE MIT PRESS

    • Entrega inmediata | ventas | Visto por 5 personas

    Entrega inmediata
    ventas
    Visto por 5 personas

    SINOPSIS

    The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL


    PRODUCTOS RELACIONADOS

    © 2024 Todos los derechos reservados. Sitio elaborado por Derovega