Denvir, Tim, 1939-....
Denvir, Tim
Tim Denvir British software engineer
VIAF ID: 61800557 (Personal)
Permalink: http://viaf.org/viaf/61800557
Preferred Forms
- 200 _ | ‡a Denvir ‡b Tim
-
- 100 1 _ ‡a Denvir, Tim
-
-
-
- 100 1 _ ‡a Denvir, Tim ‡d 1939-
- 100 1 _ ‡a Denvir, Tim ‡d 1939-
-
- 100 1 0 ‡a Denvir, Tim, ‡d 1939-
-
-
- 100 1 _ ‡a Denvir, Tim, ‡d 1939-....
- 100 0 _ ‡a Tim Denvir ‡c British software engineer
4xx's: Alternate Name Forms (6)
5xx's: Related Names (3)
- 510 2 _ ‡a City University London ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Standard Telecommunication Laboratories ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Stirling ‡b Department of Computing Science and Mathematics ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
analysis of concurrent systems Cambridge, September 12 - 16, 1983 ; proceedings | |
Carl Adam Petri life and science | |
FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings | |
Formal aspects of measurement : proceedings | |
Introduction to discrete mathematics for software engineering | |
Refine. Wkshp. (5th : 1992 : Lond., Eng.). 5th Refine. Wkshp., 1992: | |
Refinement workshop : proceedings |