Formal Methods and Software Engineering
Subtitle: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science)
Contributors: Chris George (Editor); Huaikou Miao (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2002
Language: eng
Format: Paperback
Number of pages: 626
ISBN-13: 9783540000297
Subjects: Software Engineering; Machine Theory; Congresses; Formal Language Theory; Computers; Computers - General Information; General; Computer Books: Languages; Formal methods (Computer science); Programming - Software Development; Computers / Programming / Software Development; Computer Science; Formal methods (Computer scien