Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642304729
Format: Paperback (177 pages) Publisher: Springer Published: 16 May 2012
Save for later
Secure and Trustworthy Service Composition: The Aniketos Approach: 8900 (Lecture Notes in Computer Science)
by Achim Brucker,Fabiano Dalpiaz,Paolo Giorgini,Per Håkon Meland,Erkuden Rios
ISBN 13: 9783319135175
Format: Paperback (260 pages) Publisher: Springer Published: 05 Dec 2014