Lige nu: Fri fragt til Pakkeboksen Fri fragt til Pakkeboksen

Verification of Reactive Systems : Formal Methods and Algorithms

af


Verification of Reactive Systems : Formal Methods and Algorithms
Du sparer 33% Du sparer 33%
Bog, hæftet (kr. 709,95) (kr. 709,95)
  • kr. 1.059,95
  • Leveringstid 5-7 hverdage
  • Forventet levering 26-11-2018
  • 33%
Format:
Bog, hæftet
Udgivelsesdato:
01-12-2010
Sprog:
Engelsk
Sidetal:
620
Læsernes anmeldelser
(0 anmeldelser)
  1. Beskrivelse

    This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained.

    Includes all definitions without relying on other material

    Proves all theorems in detail

    Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms

  2. Yderligere info
    ISBN13:
    9783642055553
    Vægt:
    857 g
    Dybde:
    32 mm
    Bredde:
    156 mm
    Højde:
    234 mm
    Forlag:
    Springer
    Format:
    Hæftet
  3. Anmeldelser

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.