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.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka.

by Piterman, Nir [editor.] | Smolka, Scott A [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.
Hardware and Software: Verification and Testing electronic resource 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.

by Piterman, Nir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.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
Pages