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.
Correct System Design [[electronic resource] ] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / / edited by Roland Meyer, André Platzer, Heike Wehrheim
| Correct System Design [[electronic resource] ] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / / edited by Roland Meyer, André Platzer, Heike Wehrheim |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 279 p. 69 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Mathematical logic Software engineering Compilers (Computer programs) Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematical Logic and Foundations Software Engineering Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-319-23506-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466458403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / / edited by Roland Meyer, André Platzer, Heike Wehrheim
| Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / / edited by Roland Meyer, André Platzer, Heike Wehrheim |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 279 p. 69 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Mathematical logic Software engineering Compilers (Computer programs) Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematical Logic and Foundations Software Engineering Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-319-23506-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483989403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
| Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Computers, Special purpose Programming languages (Electronic computers) Microprogramming Natural language processing (Computer science) Software Engineering Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Programming Language Control Structures and Microprogramming Natural Language Processing (NLP) |
| ISBN | 3-031-71162-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910886968003321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||