Linked Data Explorerhttp://worldcat.org/entity/work/id/27769062
Proceedings 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh2008104061
- http://experiment.worldcat.org/entity/work/data/27769062#Topic/specification_formelle
- http://id.worldcat.org/fast/932926
- http://experiment.worldcat.org/entity/work/data/27769062#Topic/methode_formelle_congres
- http://experiment.worldcat.org/entity/work/data/27769062#Topic/methode_formelle
- http://experiment.worldcat.org/entity/work/data/27769062#Topic/specification_formelle_congres
http://schema.org/alternateName
- "Industrial Strength Formal Specification Techniques, 1998, proceedings, 2nd IEEE Workshop on"@en
- "Second IEEE Workshop on Industrial Strength Formal Specification Techniques"
http://schema.org/creator
- http://experiment.worldcat.org/entity/work/data/27769062#Meeting/workshop_on_industrial_strength_formal_specification_techniques_2nd_1998_boca_raton_fla
- http://experiment.worldcat.org/entity/work/data/27769062#Meeting/workshop_on_industrial_strength_formal_specification_techniques_2e_1998_boca_raton_fla
http://schema.org/genre
- "Conference papers and proceedings"
- "Conference papers and proceedings"@en
- "Ressource Internet (Descripteur de forme)"
http://schema.org/name
- "Proceedings 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998"@en
- "2nd IEEE Workshop on Industrial Strength Formal Specification Techniques proceedings : Boca Raton, Florida, October 21-23, 1998"
- "Proceedings : 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998"