Staff View 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.


000 02340cam a2200493Ii 4500
001 16768746
005 20170818191908.0
006 m o d
007 cr |n|||||||||
008 150109t20132013njua ob 100 0 und d
019 |a875908668
020 |z9781479909032
020 |z1479909033
020 |a9781479909056
020 |a147990905X
035 |a(OCoLC)ocn868203792
035 |a(UIUdb)8372176
040 |aCOO|beng|erda|cCOO|dCUS|dUWW|dOCLCF|dOCL|dOCLCO|dIAS|dUIU|dUIUdb
049 |aUIUU|oskip
050 4|aQA76.9.F67
088 |aCFP13MCD-PRT
111 2 |aACM and IEEE International Conference on Formal Methods and Models for Co-Design|n(11th :|d2013 :|cPortland, Ore.)
245 10|aEleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) :|bPortland, Oregon, USA, 18-20 October, 2013.
246 1 |iAvailable from some providers with title:|aFormal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
246 30|a2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)
246 30|a2013 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign
246 30|aMEMOCODE 2013
246 30|a11th IEEE/ACM International Conference on Formal Methods and Models for Codesign
264 1|aPiscataway, NJ :|bIEEE,|c[2013]
264 4|c©2013
300 |a1 online resource
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
500 |a"IEEE Catalog Number: CFP13MCD-PRT."
504 |aIncludes bibliographical references and author index.
588 0 |aOnline resource; title from PDF front matter (IEEE Xplore, viewed Feb. 19, 2015).
650 0|aFormal methods (Computer science)|vCongresses.
650 7|aFormal methods (Computer science)|2fast|0(OCoLC)fst00932926
655 4|aElectronic books.
655 7|aConference papers and proceedings.|2fast|0(OCoLC)fst01423772
852 8 |beresour-nc|hOnline Resource|t1|zAccessible anywhere on campus or with UIUC NetID
856 40|3IEEE Xplore - Full text online|uhttp://www.library.illinois.edu/proxy/go.php?url=http://ieeexplore.ieee.org/servlet/opac?punumber=6657333|xUIU
994 |aC0|bUIU

Staff View for: Eleventh ACM/IEEE International Conferen