Advances in computing science asian 98 4th asian computing science conference manila the philippines december 8 10 1998 proceedings author jieh hsiang atsushi ohori published by springer berlin heidelberg isbn 978 3 540 65388 2 doi 101007 3 540 49366 2 table of contents testing proofs by examples rigid reachability. Advances in computing science asian98 4th asian computing science conference manila the philippines december 8 10 1998 proceedings editors hsiang jieh ohori atsushi eds free preview. Advances in computing science asian 98 4th asian computing science conference manila the philippines december 8 10 1998 proceedings. Advances in computing science asian98 4th asian computing science conference manila the philippines december 8 10 1998 proceedings lecture notes in computer science by hsiang jieh editor ohori atsushi editor springer 1998 12 10 paperback very good ex library paperback in very nice condition with the usual markings and attachments . Get this from a library advances in computing science asian 98 4th asian computing science conference manila the philippines december 8 10 1998 proceedings jieh hsiang atsushi ohori this book constitutes the refereed proceedings of the 4th asian computing science conference asian98 held in manila the philippines in december 1998