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