Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Descubre las investigaciones pioneras presentadas en el simposio LOPSTR 2015, donde se analizan algoritmos de síntesis lógica, técnicas de transformación automática y su impacto en la verificación formal de software crítico.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Moreno Falaschi |
| ASIN | 331927435X |
| MPN | 88 black & white illustrations, biograph |
| SKU | 88 black & white illustrations, biograph |
| EAN | 9783319274355 |
| ISBN | 9783319274355 |
| Colección | THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES |
| Edición | 1ª Diciembre de 2015 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319274355 |
| Páginas | 354 |
Productos Relacionados
Compliance Penal en España
34.66 EUR
J. Michael Dunn on Information Based Logics
103.99 EUR
Siemens CPU 1212 - 6ES7212-1AE40-0XB0
412.38 EUR
