1st BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996 : conference papers (English)
Free access
- New search for: Northern Formal Methods Workshop
- Further information on Northern Formal Methods Workshop:
- http://d-nb.info/gnd/2162877-4
- New search for: British Computer Society, Specialist Group in Formal Aspects of Computing Science
- Further information on British Computer Society, Specialist Group in Formal Aspects of Computing Science:
- http://d-nb.info/gnd/2113090-5
- New search for: Northern Formal Methods Workshop
- Further information on Northern Formal Methods Workshop:
- http://d-nb.info/gnd/2162877-4
- New search for: British Computer Society, Specialist Group in Formal Aspects of Computing Science
- Further information on British Computer Society, Specialist Group in Formal Aspects of Computing Science:
- http://d-nb.info/gnd/2113090-5
1996
- Conference Proceedings / Electronic Resource
-
Title:1st BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996 : conference papers
-
Contributors:
-
Conference:BCS-FACS Northern Formal Methods Workshop ; 1 ; 1996 ; Ilkley
-
Published in:
-
Publisher:
- New search for: British Computer Society
-
Place of publication:Swindon
-
Publication date:1996
-
Size:Online-Ressource
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
-
Source: