Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Validation of Evolving Software electronic resource edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.

by Chockler, Hana [editor.] | Kroening, Daniel [editor.] | Mariani, Leonardo [editor.] | Sharygina, Natasha [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith.

by Sharygina, Natasha [editor.] | Veith, Helmut [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
Pages