Formal Methods: Applications and Technology
Subtitle: 11th International Workshop on Formal Methods for Industrial  Critical Systems, FMICS 2006, and 5th  International ... Selected (Lecture Notes in Computer Science)
Contributors: Lubos Brim (Editor); Boudewijn Haverkort (Editor); Martin Leucker (Editor); Jaco van de Pol (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 28, 2007
Language: eng
Format: Paperback
Number of pages: 363
ISBN-13: 9783540709510
Subjects: Systems analysis & design; Formal Language Theory; Computers; Computers - Languages / Programming; Computer Books: Languages; Programming - Systems Analysis & Design; Programming Languages - General; Computers / Programming / Software Development; UML; constraints; dependable systems; distributed verification; Computer Science; Programming - Software Development; Computer programs; Congresses; Formal methods (Computer science); Software Engineering; Verification