Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti.

by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Testing Software and Systems electronic resource 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / edited by Mercedes G. Merayo, Edgardo Montes Oca.

by Merayo, Mercedes G [editor.] | Oca, Edgardo Montes [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart