Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2017.
|
Edition: | 1st ed. 2017. |
Series: | Theoretical Computer Science and General Issues ;
10206 |
Subjects: |
Sistema de Bibliotecas del TEC
Copy | Available |
---|