Catalog

Record Details

Catalog Search



FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings  Cover Image E-book E-book

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry.

Record details

  • ISBN: 9783642327599
  • Physical Description: XVI, 488 p. 142 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computation by Abstract Devices.

Electronic resources



Additional Resources