Integrated Formal Methods
Subtitle: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science)
Contributors: Judi M.T. Romijn (Editor); Graeme P. Smith (Editor); Jaco C. van de Pol (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 9, 2006
Language: eng
Format: Paperback
Number of pages: 407
ISBN-13: 9783540304920
Subjects: Mathematical theory of computation; Formal methods (Computer science); Computers; Computers - General Information; Programming Languages - General; Computer Books: Languages; Programming - Software Development; Logic Design; Computers / Logic Design; UML; automata; component systems; constraint satisfaction; formal methods; formal specification; formal validation; formal verification; model checking; Programming - General; Congresses