IST Austria Library

Your search returned 27 results.

Not what you expected? Check for suggestions
1.
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

by VMCAI 2005 (2005 : Paris, France) | Cousot, Radhia.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: VMCAI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

by VMCAI 2004 (2004 : Venice, Italy) | Steffen, Bernhard | Levi, G. (Giorgio), 1942- | ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: VMCAI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

by Reps, Thomas W. (Thomas William) | Sagiv, Mooly | Bauer, Jörg | Wilhelm, R. (Reinhard), 1946-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

by International SPIN Workshop (12th : 2005 : San Francisco, Calif.) | Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 12th International SPIN Workshop | Twelfth International SPIN Workshop | International SPIN Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.

by VMCAI 2006 (2006 : Charleston, S.C.) | Emerson, E. Allen | Namjoshi, Kedar S.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
Self stabilizing systems : 7th international symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings / Ted Herman, Sébastien Tixeuil.

by SSS (Symposium) (7th : 2005 : Barcelona, Spain) | Herman, Ted, 1952- | Tixeuil, Sébastien.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York, NY : Springer, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.).

by International Haifa Verification Conference (1st : 2005 : Haifa, Israel) | Ur, Shmuel | Bin, Eyal | Wolfsthal, Yaron.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: First International Haifa Verification Conference | International Haifa Verification Conference.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

by International SPIN Workshop (13th : 2006 : Vienna, Austria) | Valmari, Antti.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: 13th International SPIN Workshop | Thirteenth International SPIN Workshop | International SPIN Workshop | European Joint Conferences on Theory and Practice of Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.).

by VMCAI (Conference) (14th : 2013 : Rome, Italy) | Giacobazzi, Roberto | Berdine, Josh | Mastroeni, Isabella.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: VMCAI 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
11.
Self-stabilization / Shlomi Dolev.

by Dolev, Shlomi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, Mass : MIT Press, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Software verification and validation for practitioners and managers / Steven R. Rakitin.

by Rakitin, Steven R | Rakitin, Steven R. Software verification and validation.

Edition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boston : Artech House, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
13.
Testing IT : an off-the-shelf software testing process / John Watkins.

by Watkins, John (John Edward).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Testing and quality assurance for component-based software / Jerry Zeyu Gao, H.-S. Jacob Tsao, Ye Wu.

by Gao, Jerry | Tsao, H.-S. J | Wu, Ye.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boston : Artech House, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
15.
Systematic software testing / Rick D. Craig, Stefan P. Jaskiel.

by Craig, Rick D. (Rick David), 1955- | Jaskiel, Stefan P.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boston : Artech House, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Co-verification of hardware and software for ARM SoC design / by Jason R. Andrews.

by Andrews, Jason R.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Burlington, MA : Elsevier Newnes, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
Debugging by thinking : a multidisciplinary approach / Robert Charles Metzger.

by Metzger, Robert C.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boston : Elsevier Digital Press, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
Unit testing in Java : how tests drive the code / by Johannes Link ; with contributions by Peter Frlich.

by Link, Johannes | Frlich, Peter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English Original language: German Publisher: San Francisco, Calif. : Morgan Kaufmann, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
19.
Software measurement and estimation : a practical approach / Linda M. Laird, M. Carol Brennan.

by Laird, Linda M, 1952- | Brennan, M. Carol, 1954- | IEEE Computer Society.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Hoboken, N.J. : Wiley-Interscience, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
20.
Effective methods for software testing / William E. Perry.

by Perry, William E.

Edition: 3rd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Indianapolis, IN : Wiley, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha