Groote, Jan Friso.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems = 27th 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:
TACAS (Conference) (2021 :); Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service); ETAPS (Conference) (2021 :)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 27th 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:
TACAS (Conference) (2021 :); Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service); ETAPS (Conference) (2021 :)
(書目-電子資源)
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
Groote, Jan Friso.; SpringerLink (Online service); International Workshop on Formal Methods for Industrial Critical Systems (2022 :); Huisman, Marieke.
(書目-電子資源)
Logic gates, circuits, processors, compilers and computers
by:
Groote, Jan Friso.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Software engineering
Logic in AI.
Information Systems and Communication Service.
Computer and Information Systems Applications.
Control Structures and Microprogramming.
Computers.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Verification
Computer Systems Organization and Communication Networks.
Computer Hardware.
System analysis
Computer programming.
Compilers and Interpreters.