Library of American University of Madaba

Normal View MARC View ISBD View

Formal methods for industrial critical systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / Stefan Kowalewski, Marco Roveri (eds). - Berlin : Springer, 2010. - xii, 230 p. : ill. - Lecture notes in computer science ; 6371 .

Includes bibliographical references and index

ISBN: 9783642158971

Subjects--Topical Terms:
Formal methods (Computer science)--Congresses.
Software engineering--Congresses.
Computer programs--Verification --Congresses.
Computer programs--Reliability --Congresses.
Computer software--Verification--Congresses.

Dewey Class. No.: 005.131 / I612