IST Austria Library

Your search returned 11 results.

Not what you expected? Check for suggestions
1.
Advanced topics in exception handling techniques / Christophe Dony [and others] (eds.).

by Dony, Christophe.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: Exception handling techniques.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.
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
3.
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
4.
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

by CAV (Conference) (18th : 2006 : Seattle, Wash.) | Ball, Thomas, 1965- | Jones, Robert B. (Robert Brent), 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: CAV 2006.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
5.
Verifying concurrent processes using temporal logic / Brent T. Hailpern.

by Hailpern, Brent T. (Brent Tzion), 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1982Online 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.
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.

by Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Online 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.
A survey of verification techniques for parallel programs / Howard Barringer.

by Barringer, Howard, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Online 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.
Compiler specification and verification / Wolfgang Polak.

by Polak, Wolfgang, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1981Online 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 / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

by Clarke, Edmund M., Jr. (Edmund Melson), 1945- [author.] | Grumberg, Orna [author.] | Peled, Doron A, 1962- [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, ©1999Online 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.
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
11.
Guide to advanced software testing / Anne Mette Jonassen Hass.

by Hass, Anne Mette Jonassen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boston : Artech House, ©2008Other title: Advanced software testing.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

Powered by Koha