Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	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 Series: Lecture notes in computer science ; 2057. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	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) Series: Lecture notes in computer science ; 244. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1986 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search