EAN: 9783662545768

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND A...

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International
Conference on Tools and Algorithms for the Construction and Analysis of Systems  TACAS 2017 
which took place in Uppsala  Sweden in April 2017  held as Part of the European Joint
Conferences on Theory and Practice of Software  ETAPS 2017. The 48 full papers  4 tool
demonstration papers  and 12 software competition papers presented in these volumes were
carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the
software competition. They were organized in topical sections named: verification techniques 
learning  synthesis  automata  concurrency and bisimulation  hybrid systems  security  run-time
verification and logic  quantitative systems  SAT and SMT  and SV COMP.

Aktuelle Preise zur EAN 9783662545768

Produktinformationen zur 9783662545768