Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2023
- Brossura
- Nuovo
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore con 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Non disponibile
Brossura
Condizione: Nuovo
EUR 62,11
Descrizione dell’articolo da parte del venditore
In English.
Codice articolo ria9783031352584_new
- Titolo
- Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
- Editore
- Springer
- Anno di pubblicazione
- 2023
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 3031352580
- ISBN 13
- 9783031352584
- Peso dell'articolo
- 650 grammi
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.
The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Ci sono altre 1 copie di questo libroVisualizza tutti i risultati