語系
Brucker, Achim D.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Secure and trustworthy service compositionthe Aniketos approach /
by:
Brucker, Achim D.; SpringerLink (Online service)
(書目-電子資源)
Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(1998 :); Brucker, Achim D.; Julliand, Jacques.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Web services.
Business Information Systems.
Computer Science.
Simulation and Modeling.
Computer networks
Systems and Data Security.
Computer Communication Networks.