Advances in Computing Science - ASIAN'98
Subtitle: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Jieh Hsiang (Editor); Atsushi Ohori (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 10, 1998
Language: eng
Format: Paperback
Number of pages: 305
ISBN-13: 9783540653882
Subjects: General Theory of Computing; Congresses; Computer Science (General); Computers; Computers - General Information; Computer Books: General; Electronic data processing; General; Computers / Computer Science; Computer Science
First sentence: Proof animation means to execute formal proofs to find incorrectness in them.