Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Author：edited by Egon Borger ... [et al.].
Publisher：Springer-Verlag Berlin Heidelberg
ISBN：9783540876038
資料來源：HyRead 電子書
Publication Date：2008.
Search Same Author