Formal Methods and Software Engineering
Subtitle: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Kung-Kiu Lau (Editor); Richard Banach (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 14, 2005
Language: eng
Format: Paperback
Number of pages: 496
ISBN-13: 9783540297970
Subjects: Software engineering; Programming Languages - General; Computers - Languages / Programming; Computers; Computer Books: Languages; Logic Design; Programming - Software Development; Computers / Programming / Software Development; UML; XML; dependable systems; formal methods; formal software development; formal specification; formal verification; model checking; model-driven communications; program analysis; security protocols; semantic Web services