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.
Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Matthew B. Dwyer, Antónia Lopes.

by FASE 2007 (2007 : Braga, Portugal) | Dwyer, Matthew, 1963- | Lopes, Antónia | ETAPS (Conference) (10th : 2007 : Braga, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: European Joint Conferences on Theory and Practice of Software | Software engineering | FASE 2007 | Joint European Conferences on Theory and Practice of Software | ETAPS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha