Scientific Library of Tomsk State University

   E-catalog        

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Validated Designs for Object-oriented Systems Электронный ресурс by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef.

by Fitzgerald, John | Larsen, Peter Gorm | Mukherjee, Paul | Plat, Nico | Verhoef, Marcel | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Collaborative Design for Embedded Systems electronic resource Co-modelling and Co-simulation / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef.

by Fitzgerald, John [editor.] | Larsen, Peter Gorm [editor.] | Verhoef, Marcel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
3.
FM 2005: Formal Methods Электронный ресурс International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.

by Fitzgerald, John | Hayes, Ian J | Tarlecki, Andrzej | 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., 2005Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages