Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Sách
|
Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papersRISSEF 2002 Venice, Italy 2002 ; Wirsing Martin; Knapp Alexander; Balsamo Simonettac2004Kiểm tra tình trạng sẵn có của tài liệu |
|
2 |
Material Type: Sách
|
Adapting Proofs-as-ProgramsIman Hafiz Poernomo ; John N Crossley; David Gries; Fred B Schneider; Martin Wirsing2005Truy cập trực tuyến |