| Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures ISBN 9783540897620 (electronic bk.) ; 9783540897613 (paper) | edited by Egon Borger, Antonio Cisternino. | Springer Berlin Heidelberg | 2008 | 館藏 | 檢視 |
| Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures ISBN 9783540897620 (electronic bk.) ; 9783540897613 (paper) | edited by Egon Borger, Antonio Cisternino. | Springer Berlin Heidelberg | 2008 | 館藏 | 檢視 |
| Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures ISBN 9783540897620 (electronic bk.) ; 9783540897613 (paper) | edited by Egon Borger, Antonio Cisternino. | Springer Berlin Heidelberg | 2008 | 館藏 | 檢視 |
| Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ISBN 9783540876038 (electronic bk.) ; 9783540876021 (paper) | edited by Egon Borger ... [et al.]. | Springer-Verlag Berlin Heidelberg | 2008 | 館藏 | 檢視 |
| Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ISBN 9783540876038 (electronic bk.) ; 9783540876021 (paper) | edited by Egon Borger ... [et al.]. | Springer-Verlag Berlin Heidelberg | 2008 | 館藏 | 檢視 |
| Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ISBN 9783540876038 | edited by Egon Borger ... [et al.]. | Springer-Verlag Berlin Heidelberg | 2008. | 館藏電子書 | 檢視 |