• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Eighth ACM/IEEE International...
  • Description
Language
  • Advanced
Cover Image
Read Now

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)

Bibliographic Details
Format: eBook
Published: New York The Institute of Electrical and Electronics Engineers, Inc. 2010
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:9781424478859
9781424478866

Similar Items

  • 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
    Published: (2015)
  • 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)
    Published: (2014)
  • 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)
    Published: (2013)
  • 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)
    Published: (2007)
  • 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
    Published: (2016)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...