SFr. 238.00
€ 238.00
BTC 0.0289
LTC 1.85
ETH 0.3488


vorbestellen

Artikel-Nr. 16599723


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:



Herausgeber: 
  • Thomas A. Henzinger
  • Edmund M. Clarke
  • Helmut Veith
  • Handbook of Model Checking 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!


    Übersicht
     
    Lieferstatus:   Vorankündigung
    Veröffentlichung:  ANGEKÜNDIGT (Mai 2018)  
    Genre:  EDV / Informatik 
    ISBN:  9783319105741 
    EAN-Code: 
    9783319105741 
    Verlag:  Springer-Verlag GmbH 
    Einband:  Gebunden  
    Sprache:  English  
    Dimensionen:  H 240 mm / B 155 mm / D  
    Seiten:  1210 
    Illustration:  Bibliographie 
    Zus. Info:  Book 
    Bewertung: Keine Bewertung vor Veröffentlichung möglich.
    Inhalt:

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.

    The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.

    The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.

      



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Google Plus-Page Google+ | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2018
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2018