Gargantini, Angelo.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(1998 :); Fraser, Gordon.; Gargantini, Angelo.; 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.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer Science.