More Details for: Eleventh ACM/IEEE International Conferen

 Staff view

You must be logged in to Tag Records

Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013.

Book Cover
Published: Piscataway, NJ : IEEE, [2013]
Topics: Formal methods (Computer science) - Congresses.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Meeting Name: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Ore.)
Physical Description: 1 online resource
Includes: Includes bibliographical references and author index.
ISBN:

9781479909056
147990905X
Copyright: ©2013
More about this Title: Available from some providers with title: Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
Notes: "IEEE Catalog Number: CFP13MCD-PRT."

More Details for: Eleventh ACM/IEEE International Conferen