Scientific Library of Tomsk State University

   E-catalog        

Your search returned 4 results.

1.
Software Engineering 1 Электронный ресурс Abstraction and Modelling / by Dines Bjørner

by Bjørner, Dines | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science an EATCS SeriesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
2.
Software Engineering 2 Электронный ресурс Specification of Systems and Languages / by Dines Bjørner

by Bjørner, Dines | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science An EATCS SeriesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
3.
Software Engineering 3 Электронный ресурс Domains, Requirements, and Software Design / by Dines Bjøner

by Bjørner, Dines | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science An EATC SeriesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
4.
Logics of Specification Languages Электронный ресурс edited by Dines Bjørner, Martin C. Henson.

by Bjørner, Dines | Henson, Martin C | SpringerLink (Online service).

Series: Monographs 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 :