Formal Methods - Pacific '97
Contributors: L. Groves (Editor); S. Reeves (Editor)
Publisher: National University of Singapore,Singapore
Published: December 30, 1997
Format: Paperback
Number of pages: 330
ISBN-13: 9789813083318
Subjects: Software engineering; Algebra - General; Mathematics