<http://experiment.worldcat.org/entity/work/data/31883096#Topic/spectfication_writing_computer_software_handbooks_manuals_etc> <http://schema.org/name> "Spectfication writing Computer software Handbooks, manuals, etc." .
<http://experiment.worldcat.org/entity/work/data/31883096#Topic/spectfication_writing_computer_software_handbooks_manuals_etc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/about> <http://id.worldcat.org/fast/872297> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/genre> "Handbooks and manuals"@en .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/31883096#Topic/spectfication_writing_computer_software_handbooks_manuals_etc> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/contributor> <http://viaf.org/viaf/127305149> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/name> "An elementary tutorial on formal specification and verification using PVS"@en .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2635925112> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/workExample> <http://www.worldcat.org/oclc/30533025> .
<http://worldcat.org/entity/work/id/31883096> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85142816> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79134855> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/workExample> <http://www.worldcat.org/oclc/60449304> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029513> .
<http://worldcat.org/entity/work/id/31883096> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/workExample> <http://www.worldcat.org/oclc/844702116> .
<http://worldcat.org/entity/work/id/31883096> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85002664> .
<http://experiment.worldcat.org/entity/work/data/31883096.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/31883096.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/31883096> .