Linked Data Explorerhttp://worldcat.org/entity/work/id/115750310
Specification and verification of object oriented software components
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/115750310#Topic/korrektheit
- http://experiment.worldcat.org/entity/work/data/115750310#Topic/programmverifikation
- http://experiment.worldcat.org/entity/work/data/115750310#Topic/formale_spezifikationstechnik
- http://experiment.worldcat.org/entity/work/data/115750310#Topic/objektorientierte_programmiersprache
- http://experiment.worldcat.org/entity/work/data/115750310#Topic/komponente_<_software>
http://schema.org/genre
- "Online-Publikation"
http://schema.org/name
- "Specification and verification of object oriented software components"