Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).

by International SPIN Workshop (8th : 2001 Toronto, Ont.) | Dwyer, Matthew, 1963- | ACM Sigsoft.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik.

by Conradi, Reidar | Didriksen, Tor M | Wanvik, Dag H | IFIP Working Group 2.4 on Systems Programming Languages | ACM Special Interest Group on Programming Languages | ACM Sigsoft | Norges tekniske høgskole. Division of Computer Science | International Workshop on Advanced Programming Environments (1986 : Torndheim, Norway).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1986Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha