IST Austria Library

Your search returned 6 results.

Not what you expected? Check for suggestions
1.
Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.).

by International SPIN Workshop (15th : 2008 : Los Angeles, Calif.) | Havelund, Klaus, 1955- | Majumdar, Rupak | Palsberg, Jens.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Online 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.
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.).

by International Static Analysis Symposium (7th : 2000 : Santa Barbara, Calif.) | Palsberg, Jens.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©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
3.
Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / Jens Palsberg, Zhendong Su (eds.).

by International Static Analysis Symposium (16th : 2009 : Los Angeles, Calif.) | Palsberg, Jens | Su, Zhendong.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: SAS 2009.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.
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings / Holger Hermanns, Jens Palsberg (eds.).

by TACAS (Conference) (12th : 2006 : Vienna, Austria) | Hermanns, Holger, 1967- | Palsberg, Jens | ETAPS (Conference) (9th : 2006 : Vienna, Austria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: TACAS 2006 | ETAPS 2006 | Joint European Conferences on Theory and Practice of Software | European Joint Conferences on Theory and Practice of Software 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.
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / Jens Palsberg (ed.).

by Palsberg, Jens.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online 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 : 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings / Isil Dillig, Jens Palsberg (eds.).

by VMCAI (Conference) (19th : 2018 : Los Angeles, Calif.) | Dillig, Isil [editor.] | Palsberg, Jens [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: VMCAI 2018.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