Sokolova, Ana.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Distributed Objects, Components, and Systems = 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings /
by:
Gotsman, Alexey.; SpringerLink (Online service); Sokolova, Ana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
Sokolova, Ana.; Laarman, Alfons.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
Laarman, Alfons.; Sokolova, Ana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Formal Languages and Automata Theory.
Software engineering.
Computers, Special purpose.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Special purpose computers.
Computer simulation.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Design and Analysis of Algorithms.
Simulation and Modeling.
Computer science.
Machine theory.
Computer Science Logic and Foundations of Programming.