Streaming af e- og lydbøger Stream e- og lydbøger Prøv gratis

Verification of Reactive Systems : Formal Methods and Algorithms

af

Du sparer 33% fra forlagets pris Du sparer 33% fra forlagets pris
Verification of Reactive Systems : Formal Methods and Algorithms
  • Forlagets pris kr. 1.049,95
  • Leveringstid 5-9 hverdage
  • Forventet levering 27-07-2018
Bog, hæftet (kr. 699,95) (kr. 699,95)
  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
    Udgivelsesdato:
    01-12-2010
    Sprog:
    Engelsk
    ISBN13:
    9783642055553
    Sidetal:
    620
    Vægt:
    857 g
    Højde:
    32 mm
    Bredde:
    156 mm
    Længde:
    234 mm
    Forlag:
    Springer
    Mærkat:
    Bog, hæftet
    Format:
    Hæftet
  3. Anmeldelser

    Kundernes boganmeldelser af Verification of Reactive Systems : Formal Methods and Algorithms

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.