Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
Formal Methods and Software Engineering electronic resource 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang.

by Merz, Stephan [editor.] | Pang, Jun [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: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Temporal Logic and State Systems Электронный ресурс by Fred Kröger, Stephan Merz.

by Kröger, Fred | Merz, Stephan | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science, An EATCS SeriesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart