語系
Lal, Akash.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.. Part I /
by:
CAV (Conference) (2023 :); Enea, Constantin.; Lal, Akash.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
Verified software = theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers /
by:
VSTTE (Conference) (2022 :); Lal, Akash.; SpringerLink (Online service); Tonetta, Stefano.
(書目-電子資源)
Computer aided verification = 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.. Part III /
by:
CAV (Conference) (2023 :); Enea, Constantin.; Lal, Akash.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification = 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.. Part II /
by:
CAV (Conference) (2023 :); Enea, Constantin.; Lal, Akash.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic in AI.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer Hardware.
Computer System Implementation.
Design and Analysis of Algorithms.