• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • ICFEM 2000. Third IEEE Interna...
  • Description
Language
  • Advanced
Cover Image
Read Now

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods

Bibliographic Details
Format: eBook
Published: New York The Institute of Electrical and Electronics Engineers, Inc. 2000
Subjects:
Computing And Processing
Online Access:
https://ieeexplore.ieee.org/servlet/opac?punumber=...
Collection: IEEE Conference Proceedings - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
ISBN:0769508227

Similar Items

  • Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
    Published: (2005)
  • Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
    Published: (2024)
  • Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
    Published: (2022)
  • Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
    Published: (2026)
  • Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
    Published: (2020)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...