Bonfanti, Silvia.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Testing software and systems = 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings /
by:
ICTSS (Conference) (2023 :); Bonfanti, Silvia.; Gargantini, Angelo.; Salvaneschi, Paolo.; SpringerLink (Online service)
(書目-電子資源)
Rigorous state-based methods = 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024 : proceedings /
by:
ABZ (Conference) (2024 :); Bonfanti, Silvia.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Machine theory
Computer and Information Systems Applications.
Logic in AI.
Computer Science Logic and Foundations of Programming.
Computer software- Testing
Computer Engineering and Networks.
Machine learning
Formal Languages and Automata Theory.
Compilers and Interpreters.