Результати пошуку
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. by Серія: Theoretical Computer Science and General Issues ; 10203
Видання: 1st ed. 2017.
Вид матеріалу:  Текст ; формат:
електронний ресурс
доступно в Інтернеті  ; літературний жанр:
не белетристика Публікація: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Серія: Theoretical Computer Science and General Issues ; 10145
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 I / edited by Axel Legay, Tiziana Margaria. by Серія: Theoretical Computer Science and General Issues ; 10205
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|