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

by KlausHavelund (Editor), ErikaÁbrahám (Editor)

• New

  Paperback
  2014

  $84.72

  The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.