Languages
Brucker, Achim D.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Secure and trustworthy service compositionthe Aniketos approach /
by:
Brucker, Achim D.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.