CATEGORÍAS

TU CESTA
PEN S/

  • PRINCIPLES OF MODEL CHECKING
Continuar Comprando
Compartir

  • Facebook

PRINCIPLES OF MODEL CHECKING
Nuevo 25% off

S/ 400.00 S/ 300.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 13 personas

    Entrega inmediata
    ventas
    Visto por 13 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

    Icono WhatsApp
    © 2024 Todos los derechos reservados. Sitio elaborado por Derovega