FME 2002: Formal Methods - Getting IT Right
Subtitle: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)
Contributors: Lars-Henrik Eriksson (Editor); Peter A. Lindsay (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 26, 2002
Language: eng
Format: Paperback
Number of pages: 625
ISBN-13: 9783540439288
Subjects: Computer Programming; Systems analysis & design; Machine Learning; Parallel Processing; Computers; Computers - Languages / Programming; Computer Books: General; General; Programming - General; Programming - Software Development; Computers / Logic Design; OCL; UML; Computer Science; Computer software; Congresses; Development; Formal methods (Computer scien; Formal methods (Computer science); Mathematics; System design