Brucker, Achim books & textbook
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science, 7305)
Brucker, Achim Julliand, Jacques
Springer /2012-05-16 Paperback / 187 Pages
isbn-10: 3642304729 / isbn-13: 9783642304729
Secure and Trustworthy Service Composition: The Aniketos Approach (Security and Cryptology)
Brucker, Achim Dalpiaz, Fabiano Giorgini, Paolo Meland, Per Håkon Rios, Erkuden
Springer /2014-12-05 Paperback / 257 Pages
isbn-10: 3319135171 / isbn-13: 9783319135175
