skip to content
Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA Preview this item
ClosePreview this item
Checking...

Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA

Author: Mark A Ardis; ACM Sigsoft.; ACM Digital Library.
Publisher: New York, N.Y. : Association for Computing Machinery, ©1998.
Edition/Format:   eBook : Document : Conference publication : 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

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mark A Ardis; ACM Sigsoft.; ACM Digital Library.
OCLC Number: 51305075
Reproduction Notes: Electronic reproduction. New York, NY : Association for Computing Machinery, [199-?]. Mode of access: World Wide Web. Digitized and made available by: ACM Digital Library.
Description: v, 109 pages : illustrations ; 28 cm
Other Titles: FMSP'98
Second Workshop on Formal Methods in Software Practice
Formal Methods in Software Practice
Proceedings of the Second Workshop on Formal Methods in Software Practice
Responsibility: edited by Mark Ardis ; sponsored by ACM SIGSOFT.

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/51305075> # Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "51305075" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7124993#Place/new_york_n_y> ; # New York, N.Y.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://dewey.info/class/005.1/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/7124993#Topic/computer_software_development> ; # Computer software--Development
   schema:alternateName "Proceedings of the Second Workshop on Formal Methods in Software Practice" ;
   schema:alternateName "FMSP'98" ;
   schema:alternateName "Second Workshop on Formal Methods in Software Practice" ;
   schema:alternateName "Formal Methods in Software Practice" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/40870978> ; # Mark Alan Ardis
   schema:contributor <http://viaf.org/viaf/155091561> ; # ACM Digital Library.
   schema:contributor <http://viaf.org/viaf/126402852> ; # ACM Sigsoft.
   schema:copyrightYear "1998" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/7124993#Meeting/workshop_on_formal_methods_in_software_practice_2nd_1998_clearwater_beach_fla> ; # Workshop on Formal Methods in Software Practice (2nd : 1998 : Clearwater Beach, Fla.)
   schema:datePublished "1998" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/7124993> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/7124993#CreativeWork/> ;
   schema:name "Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA"@en ;
   schema:productID "51305075" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/51305075#PublicationEvent/new_york_n_y_association_for_computing_machinery_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/7124993#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
   schema:url <http://www.acm.org/pubs/contents/proceedings/issta/298595/> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/51305075> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/7124993#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/7124993#Meeting/workshop_on_formal_methods_in_software_practice_2nd_1998_clearwater_beach_fla> # Workshop on Formal Methods in Software Practice (2nd : 1998 : Clearwater Beach, Fla.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/7124993#Place/clearwater_beach_fla> ; # Clearwater Beach, Fla.)
   schema:name "Workshop on Formal Methods in Software Practice (2nd : 1998 : Clearwater Beach, Fla.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/7124993#Place/clearwater_beach_fla> # Clearwater Beach, Fla.)
    a schema:Place ;
   schema:name "Clearwater Beach, Fla.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/7124993#Place/new_york_n_y> # New York, N.Y.
    a schema:Place ;
   schema:name "New York, N.Y." ;
    .

<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://viaf.org/viaf/155091561> # ACM Digital Library.
    a schema:Organization ;
   schema:name "ACM Digital Library." ;
    .

<http://viaf.org/viaf/40870978> # Mark Alan Ardis
    a schema:Person ;
   schema:birthDate "1949" ;
   schema:familyName "Ardis" ;
   schema:givenName "Mark Alan" ;
   schema:givenName "Mark A." ;
   schema:name "Mark Alan Ardis" ;
    .

<http://worldcat.org/entity/work/data/7124993#CreativeWork/>
    a schema:CreativeWork ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/51305075> ; # Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA
    .

<http://www.acm.org/pubs/contents/proceedings/issta/298595/>
   rdfs:comment "Full text of the Conference proceedings (1998)" ;
    .

<http://www.worldcat.org/title/-/oclc/51305075>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/51305075> ; # Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA
   schema:dateModified "2017-12-25" ;
   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.