• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Formal Methods in Computer-Aid...
  • Description
Language
  • Advanced
Cover Image
Read Now

Formal Methods in Computer-Aided Design First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Bibliographic Details
Main Author: Camilleri, Albert
Other Authors: Srivas, Mandayam
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1996, 1996
Series:Lecture Notes in Computer Science
Online Access:
http://dx.doi.org/10.1007/BFb0031795?nosfx=y
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
ISBN:9783540619376

Similar Items

  • Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    Published: (1996)
  • Formal Methods in Computer-Aided Design : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
    by: Gopalakrishnan, Ganesh
    Published: (1998)
  • Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
    Published: (1998)
  • Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings
    by: Aagaard, Mark D
    Published: (2002)
  • Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
    Published: (2002)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...