Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... 20: 4424 (Lecture Notes in Computer Science)

by OrnaGrumberg (Editor), Michael Huth (Editor)

• New

  Illustrated
  2009

  $138.70

  Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.