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.
Automated Technology for Verification and Analysis electronic resource 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin.

by Cassez, Franck [editor.] | Raskin, Jean-François [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.
Formal Modeling and Analysis of Timed Systems Электронный ресурс 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan.

by Raskin, Jean-François | Thiagarajan, P. S | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages