Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
FM 2006: Formal Methods Электронный ресурс 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.

by Misra, Jayadev | Nipkow, Tobias | Sekerinski, Emil | 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Concrete Semantics electronic resource With Isabelle/HOL / by Tobias Nipkow, Gerwin Klein.

by Nipkow, Tobias [author.] | Klein, Gerwin [author.] | 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, 2014Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart