Your search returned 2 results.

Results
	1.	Secure and Trustworthy Service Composition [electronic resource] : The Aniketos Approach / edited by Achim D. Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios. by Brucker, Achim D [editor.] Dalpiaz, Fabiano [editor.] Giorgini, Paolo [editor.] Meland, Per Håkon [editor.] Rios, Erkuden [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8900 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D [editor.] Julliand, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7305 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search