語系
Abraham, Erika.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Abraham, Erika.; Clark Conference ((2005 :); Huisman, Marieke.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Tools and algorithms for the construction and analysis of systems[electronic resource] :20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Abraham, Erika.; Clark Conference ((2005 :); Havelund, Klaus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
Abraham, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal techniques for distributed objects, components, and systems[electronic resource] :34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
Abraham, Erika.; Clark Conference ((2005 :); Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Computer network protocols
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Software engineering
Electronic data processing
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Computation by Abstract Devices.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Software engineering.
Programming languages (Electronic computers)
Algorithms.
Computer Science.
Computer science.
System analysis
Artificial intelligence.