Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

indgår i serie Lecture Notes in Computer Science


Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Format:
Bog, hæftet
Udgivelsesdato:
01-06-1999
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

Vis mereVis mindre

ISBN13:
9783540662020
Vægt:
726 g
Dybde:
27 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

    indgår i serie Lecture Notes in Computer Science

    • Leveringstid 4-6 hverdage
    • Forventet levering 02-07-2019

    på lager

    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.