Normal view MARC view ISBD view

Model checking software (elektronisk ressurs) : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

av Dwyer, Matthew .Association for Computing Machinery Special Interest Group on Software Engineering.International SPIN Workshop Toronto 2001.
Series: Lecture notes in computer science 2057 .Utgiver: Springer c2001 .Beskrivelse: X, 311 s. ill .Online resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Home library Call number Status Date due Barcode Item holds
E-bøker E-bøker Fjerdingen
Available 15tx00449
Total holds: 0

"ACM SIGSOFT, Special Interest Group on Software Engineering" - Omslage

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha