語系
Wijs, Anton.
概要
| 作品: | 1 作品在 1 項出版品 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 = 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.
Computer System Implementation.
Software Engineering/Programming and Operating Systems.
Computer logic.
Computer networks .
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Architecture, Computer.
Computer Science.
Microprogramming .
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Computer science.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computer Science Logic and Foundations of Programming.