Formal methods
Subtitle: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
By: Luboš Brim ... [et al.] (eds.).
Contributors: Brim, Lubǒs.; PDMC 2006 (2006 : Bonn, Germany)
Series: Lecture notes in computer science -- 4346
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 361
ISBN-13: 9783540709510
Subjects: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer programs -- Verification -- Congresses; Computer programs -- Reliability -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Reliability -- Congresses
Genres: Congresses.
Other titles: FMICS 2006; PDMC 2006
Notes: Includes bibliographical references and index.