語系
Larsen, Kim Guldstrand.
概要
| 作品: | 1 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(1998 :); D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; Potapov, Igor.; SpringerLink (Online service); Srba, Jiri.
(書目-電子資源)
Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; Sokolsky, Oleg.; SpringerLink (Online service); Wang, Ji.
(書目-電子資源)
Computer aided verification14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
by:
(1998 :); Brinksma, Ed.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; SpringerLink (Online service); Willemse, Tim.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part I /
by:
(1998 :); Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part II /
by:
(1998 :); Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Logic in AI.
Information Systems and Communication Service.
Computer software
Computation by Abstract Devices.
Computer systems
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
System design
Computer science
Computer programs
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Decidability (Mathematical logic)
Simulation and Modeling.
Probability and Statistics in Computer Science.
Computer Systems Organization and Communication Networks.
Integrated circuits
System analysis