Wijs, Anton.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
SpringerLink (Online service); Bošnački, Dragan.; Wijs, Anton.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
SpringerLink (Online service); Wijs, Anton.; Salaün, Gwen.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
Wijs, Anton.; Salaün, Gwen.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Wijs, Anton.; Neele, Thomas.
(書目-語言資料,印刷品)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
SpringerLink (Online service); Bosnacki, Dragan.; Workshop on the Preservation of Stability under Discretization ((2001 :); Wijs, Anton.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Computer logic.
Computer networks .
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Architecture, Computer.
Computer Science.
Microprogramming .
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Special purpose computers.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer communication systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Computer science.
Control, Robotics, Automation.
Software engineering