Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... 9035 (Lecture Notes in Computer Science)

by Christel Baier (Editor), Cesare Tinelli (Editor)

• New

  Paperback
  2015

  $86.67

  The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.