skip to content
Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013. Preview this item
ClosePreview this item
Checking...

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

Publisher: Piscataway, NJ : IEEE, [2013] ©2013
Edition/Format:   eBook : Document : Conference publication
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
ISBN: 9781479909056 147990905X
OCLC Number: 868203792
Notes: "IEEE Catalog Number: CFP13MCD-PRT."
Description: 1 online resource.
Other Titles: Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)
2013 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign
MEMOCODE 2013
11th IEEE/ACM International Conference on Formal Methods and Models for Codesign

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/868203792> # Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "868203792" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1770888559#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:alternateName "2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)" ;
    schema:alternateName "Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on" ;
    schema:alternateName "11th IEEE/ACM International Conference on Formal Methods and Models for Codesign" ;
    schema:alternateName "MEMOCODE 2013" ;
    schema:alternateName "2013 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign" ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1770888559#Meeting/acm_and_ieee_international_conference_on_formal_methods_and_models_for_co_design_11th_2013_portland_ore> ; # ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Ore.)
    schema:datePublished "2013" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1770888559> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings" ;
    schema:name "Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013." ;
    schema:productID "868203792" ;
    schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=6657333> ;
    schema:workExample <http://worldcat.org/isbn/9781479909056> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/868203792> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1770888559#Meeting/acm_and_ieee_international_conference_on_formal_methods_and_models_for_co_design_11th_2013_portland_ore> # ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Ore.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1770888559#Place/portland_ore> ; # Portland, Ore.)
    schema:name "ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Ore.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1770888559#Place/portland_ore> # Portland, Ore.)
    a schema:Place ;
    schema:name "Portland, Ore.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1770888559#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)" ;
    .

<http://worldcat.org/isbn/9781479909056>
    a schema:ProductModel ;
    schema:isbn "147990905X" ;
    schema:isbn "9781479909056" ;
    .

<http://www.worldcat.org/title/-/oclc/868203792>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/868203792> ; # Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013.
    schema:dateModified "2016-06-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.