skip to content
Formal Methods in Computer Aided Design 2011. Preview this item
ClosePreview this item
Checking...

Formal Methods in Computer Aided Design 2011.

Author: Anna Slobodova; Per Bjesse
Publisher: Boston : FMCAD, Incorporated Oct. 2011.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Anna Slobodova; Per Bjesse
ISBN: 9780983567813 0983567816
OCLC Number: 817925648
Language Note: English.
Target Audience: Scholarly & Professional
Description: 1 online resource

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/817925648> # Formal Methods in Computer Aided Design 2011.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "817925648" ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4574520388#Topic/computers> ; # Computers
    schema:bookFormat schema:EBook ;
    schema:contentRating "Scholarly & Professional" ;
    schema:datePublished "Oct. 2011" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4574520388#Person/slobodova_anna> ; # Anna Slobodova
    schema:editor <http://experiment.worldcat.org/entity/work/data/4574520388#Person/bjesse_per> ; # Per Bjesse
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4574520388> ;
    schema:inLanguage "en" ;
    schema:name "Formal Methods in Computer Aided Design 2011."@en ;
    schema:productID "817925648" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/817925648#PublicationEvent/boston_fmcad_incorporatedoct_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4574520388#Agent/fmcad_incorporated> ; # FMCAD, Incorporated
    schema:url <https://proxy.library.carleton.ca/login?url=https://ieeexplore.ieee.org/servlet/opac?punumber=6142347> ;
    schema:url <http://dl.acm.org/citation.cfm?id=2157654> ;
    schema:url <https://dl.acm.org/citation.cfm?id=2157654> ;
    schema:url <http://dx.doi.org/10.1145/2157654> ;
    schema:workExample <http://worldcat.org/isbn/9780983567813> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/817925648> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://dl.acm.org/citation.cfm?id=2157654>
    rdfs:comment "Connect to full text." ;
    .

<http://experiment.worldcat.org/entity/work/data/4574520388#Agent/fmcad_incorporated> # FMCAD, Incorporated
    a bgn:Agent ;
    schema:name "FMCAD, Incorporated" ;
    .

<http://experiment.worldcat.org/entity/work/data/4574520388#Person/bjesse_per> # Per Bjesse
    a schema:Person ;
    schema:familyName "Bjesse" ;
    schema:givenName "Per" ;
    schema:name "Per Bjesse" ;
    .

<http://experiment.worldcat.org/entity/work/data/4574520388#Person/slobodova_anna> # Anna Slobodova
    a schema:Person ;
    schema:familyName "Slobodova" ;
    schema:givenName "Anna" ;
    schema:name "Anna Slobodova" ;
    .

<http://worldcat.org/isbn/9780983567813>
    a schema:ProductModel ;
    schema:isbn "0983567816" ;
    schema:isbn "9780983567813" ;
    .

<https://proxy.library.carleton.ca/login?url=https://ieeexplore.ieee.org/servlet/opac?punumber=6142347>
    rdfs:comment "IEEE Xplore (Access restricted to 50 simultaneous users)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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