言語
Skavhaug, Amund.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Computer safety, reliability, and security[electronic resource] :35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
…で:
Bitsch, Friedemann.; Clark Conference ((2005 :); Guiochet, Jeremie.; Skavhaug, Amund.; SpringerLink (Online service)
(コンピュータ・メディア)
Computer safety, reliability, and security[electronic resource] :SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Skavhaug, Amund.; SpringerLink (Online service)
(コンピュータ・メディア)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer Applications.