語系
Albert, Elvira.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for distributed objects components, and systems = 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.; Lanese, Ivan.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods = 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
Albert, Elvira.; Sekerinski, Emil.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Electronic data processing- Distributed processing
Computer Science.
Computer Communication Networks.