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

    Robert L. Snyder Bin-Jiang Chen (auth.) Paul K. Predecki D. Keith Bowen John V. Gilfrich Charles C. Goldsmith Ting C. Huang Ron Jenkins I. Cev Noyan Deane K. Smith (eds.)

Click on cover to enlarge.
8 - 9Hours to read