skip to content
Proceedings of FMSP Preview this item
ClosePreview this item
Checking...

Proceedings of FMSP

Author: Workshop on Formal Methods in Software Practice.; ACM Sigsoft.
Publisher: New York, N.Y. : Association for Computing Machinery
Edition/Format:   Journal, magazine : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Workshop on Formal Methods in Software Practice.
Proceedings of FMSP
(OCoLC)645900182
Material Type: Conference publication
Document Type: Journal / Magazine / Newspaper
All Authors / Contributors: Workshop on Formal Methods in Software Practice.; ACM Sigsoft.
ISSN:1533-9955
OCLC Number: 39146160
Description: v. : ill. ; 28 cm.
Other Titles: Proceedings of FMSP
FMSP
Proceedings of Formal Methods in Software Practice
Responsibility: Workshop on Formal Methods in Software Practice.

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/39146160> # Proceedings of FMSP
    a schema:Periodical, schema:CreativeWork ;
   library:oclcnum "39146160" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/42638968#Place/new_york_n_y> ; # New York, N.Y.
   schema:about <http://experiment.worldcat.org/entity/work/data/42638968#Topic/computer_software_development> ; # Computer software--Development
   schema:about <http://dewey.info/class/005/a13/> ;
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:alternateName "Proceedings of Formal Methods in Software Practice" ;
   schema:alternateName "FMSP" ;
   schema:contributor <http://viaf.org/viaf/126402852> ; # ACM Sigsoft.
   schema:creator <http://experiment.worldcat.org/entity/work/data/42638968#Meeting/workshop_on_formal_methods_in_software_practice> ; # Workshop on Formal Methods in Software Practice.
   schema:datePublished "199u/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/42638968> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/645900182> ;
   schema:name "Proceedings of FMSP"@en ;
   schema:productID "39146160" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39146160#PublicationEvent/new_york_n_y_association_for_computing_machinery> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/42638968#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
   schema:workExample <http://worldcat.org/issn/1533-9955> ; # Proceedings of FMSP
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39146160> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/42638968#Agent/association_for_computing_machinery> # Association for Computing Machinery
    a bgn:Agent ;
   schema:name "Association for Computing Machinery" ;
    .

<http://experiment.worldcat.org/entity/work/data/42638968#Meeting/workshop_on_formal_methods_in_software_practice> # Workshop on Formal Methods in Software Practice.
    a bgn:Meeting, schema:Event ;
   schema:name "Workshop on Formal Methods in Software Practice." ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/126402852> # ACM Sigsoft.
    a schema:Organization ;
   schema:name "ACM Sigsoft." ;
    .

<http://worldcat.org/issn/1533-9955> # Proceedings of FMSP
    a schema:Periodical ;
   schema:issn "1533-9955" ;
   schema:name "Proceedings of FMSP"@en ;
   umbel:isLike <http://worldcat.org/entity/work/id/42638968> ;
    .

<http://www.worldcat.org/oclc/645900182>
    a schema:CreativeWork ;
   rdfs:label "Proceedings of FMSP" ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/39146160> ; # Proceedings of FMSP
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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