skip to content
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design. Preview this item
ClosePreview this item
Checking...

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design.

Author: Institute of Electrical and Electronics Engineers,; Association for Computing Machinery,
Publisher: Piscataway, NJ : IEEE, [2018] ©2018
Edition/Format:   eBook : Document : Conference publication : English
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
All Authors / Contributors: Institute of Electrical and Electronics Engineers,; Association for Computing Machinery,
ISBN: 9781538661956 1538661950
OCLC Number: 1082879325
Notes: "MEMOCODE 2018 will take place in Beijing, China"--PDF welcome message from the chair page.
Description: 1 online resource (various pagings) : illustrations
Other Titles: 201816th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
MEMOCODE 2018
16th ACM/IEEE International Conference on Formal Methods and Models for System Design.

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/1082879325> # Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design.
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1082879325" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9039908144#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:alternateName "MEMOCODE 2018" ;
    schema:alternateName "201816th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)" ;
    schema:alternateName "16th ACM/IEEE International Conference on Formal Methods and Models for System Design." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/9039908144#Organization/association_for_computing_machinery> ; # Association for Computing Machinery,
    schema:contributor <http://experiment.worldcat.org/entity/work/data/9039908144#Organization/institute_of_electrical_and_electronics_engineers> ; # Institute of Electrical and Electronics Engineers,
    schema:copyrightYear "2018" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9039908144#Meeting/acm_ieee_international_conference_on_formal_methods_and_models_for_system_design_16th_2018_beijing_china> ; # ACM/IEEE International Conference on Formal Methods and Models for System Design (16th : 2018 : Beijing, China)
    schema:datePublished "2018" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9039908144> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:name "Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design."@en ;
    schema:productID "1082879325" ;
    schema:url <https://ieeexplore.ieee.org/servlet/opac?punumber=8536775> ;
    schema:workExample <http://worldcat.org/isbn/9781538661956> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1082879325> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9039908144#Meeting/acm_ieee_international_conference_on_formal_methods_and_models_for_system_design_16th_2018_beijing_china> # ACM/IEEE International Conference on Formal Methods and Models for System Design (16th : 2018 : Beijing, China)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9039908144#Place/beijing_china> ; # Beijing, China)
    schema:name "ACM/IEEE International Conference on Formal Methods and Models for System Design (16th : 2018 : Beijing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9039908144#Organization/association_for_computing_machinery> # Association for Computing Machinery,
    a schema:Organization ;
    schema:name "Association for Computing Machinery," ;
    .

<http://experiment.worldcat.org/entity/work/data/9039908144#Organization/institute_of_electrical_and_electronics_engineers> # Institute of Electrical and Electronics Engineers,
    a schema:Organization ;
    schema:name "Institute of Electrical and Electronics Engineers," ;
    .

<http://experiment.worldcat.org/entity/work/data/9039908144#Place/beijing_china> # Beijing, China)
    a schema:Place ;
    schema:name "Beijing, China)" ;
    .

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

<http://worldcat.org/isbn/9781538661956>
    a schema:ProductModel ;
    schema:isbn "1538661950" ;
    schema:isbn "9781538661956" ;
    .

<http://www.worldcat.org/title/-/oclc/1082879325>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1082879325> ; # Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design.
    schema:dateModified "2019-11-06" ;
    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.