语系
Albert, Elvira.
概要
| 作品: | 1 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
Formal techniques for distributed objects components, and systems[electronic resource] :36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
Albert, Elvira.; Clark Conference ((2005 :); Lanese, Ivan.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
Albert, Elvira.; Clark Conference ((2005 :); Sekerinski, Emil.; SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.