Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun
| Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 139 p. 135 illus., 23 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-030-35540-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466424603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun
| Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 139 p. 135 illus., 23 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Microprogramming Computer simulation Computer science Machine theory Software Engineering Computer Engineering and Networks Control Structures and Microprogramming Computer Modelling Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-35540-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910357848903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 12th International Conference on Embedded Software / / program chairs, Alain Girault, Nan Guan
| Proceedings of the 12th International Conference on Embedded Software / / program chairs, Alain Girault, Nan Guan |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2015 |
| Descrizione fisica | 1 online resource (276 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Embedded computer systems - Programming
Computer software - Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135192303321 |
| Piscataway, New Jersey : , : IEEE Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 12th International Conference on Embedded Software / / program chairs, Alain Girault, Nan Guan
| Proceedings of the 12th International Conference on Embedded Software / / program chairs, Alain Girault, Nan Guan |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2015 |
| Descrizione fisica | 1 online resource (276 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Embedded computer systems - Programming
Computer software - Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280623803316 |
| Piscataway, New Jersey : , : IEEE Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||