Linked Data Explorerhttp://worldcat.org/entity/work/id/31883096
An elementary tutorial on formal specification and verification using PVS
Open All Close All
http://schema.org/about
- http://id.worldcat.org/fast/872297
- http://experiment.worldcat.org/entity/work/data/31883096#Topic/spectfication_writing_computer_software_handbooks_manuals_etc
- http://id.loc.gov/authorities/subjects/sh85142816
- http://id.loc.gov/authorities/subjects/sh85029513
- http://id.loc.gov/authorities/subjects/sh85002664
http://schema.org/genre
- "Handbooks and manuals"@en
http://schema.org/name
- "An elementary tutorial on formal specification and verification using PVS"@en