skip to content
Conference proceedings on Formal methods in software development. Preview this item
ClosePreview this item
Checking...

Conference proceedings on Formal methods in software development.

Author: Mark Moriconi; ACM Digital Library.; ACM Special Interest Group on Software Engineering.
Publisher: New York, NY : ACM, 1990.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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: Electronic books
Additional Physical Format: Print version:
ACM Sigsoft International Workshop on Formal Methods in Software Development (1990 : Napa, Calif.).
Conference proceedings on formal methods in software development.
New York : ACM, 1990
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mark Moriconi; ACM Digital Library.; ACM Special Interest Group on Software Engineering.
ISBN: 0897914155 9780897914154
OCLC Number: 809804243
Notes: Title from The ACM Digital Library.
Description: 1 online resource (149 pages)

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/809804243> # Conference proceedings on Formal methods in software development.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "809804243" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3902266839#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/313191503> ; # ACM Special Interest Group on Software Engineering.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3902266839#Organization/acm_digital_library> ; # ACM Digital Library.
    schema:creator <http://viaf.org/viaf/1676407> ; # Mark Moriconi
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3902266839> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3902266839#CreativeWork/conference_proceedings_on_formal_methods_in_software_development> ;
    schema:name "Conference proceedings on Formal methods in software development."@en ;
    schema:productID "809804243" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/809804243#PublicationEvent/new_york_ny_acm_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3902266839#Agent/acm> ; # ACM
    schema:url <http://dx.doi.org/10.1145/99569> ;
    schema:url <http://dl.acm.org/citation.cfm?id=99569> ;
    schema:workExample <http://worldcat.org/isbn/9780897914154> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/809804243> ;
    .


Related Entities

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/1676407> # Mark Moriconi
    a schema:Person ;
    schema:familyName "Moriconi" ;
    schema:givenName "Mark" ;
    schema:name "Mark Moriconi" ;
    .

<http://viaf.org/viaf/313191503> # ACM Special Interest Group on Software Engineering.
    a schema:Organization ;
    schema:name "ACM Special Interest Group on Software Engineering." ;
    .

<http://worldcat.org/entity/work/data/3902266839#CreativeWork/conference_proceedings_on_formal_methods_in_software_development>
    a schema:CreativeWork ;
    rdfs:label "Conference proceedings on formal methods in software development." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/809804243> ; # Conference proceedings on Formal methods in software development.
    .

<http://worldcat.org/isbn/9780897914154>
    a schema:ProductModel ;
    schema:isbn "0897914155" ;
    schema:isbn "9780897914154" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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