Derrick, John, 1963-....
Derrick, John
Derrick, J
John Derrick Welsh cricketer (1963-2017)
VIAF ID: 85435009 ( Personal )
Permalink: http://viaf.org/viaf/85435009
Preferred Forms
- 100 1 _ ‡a Derrick, J
-
-
-
- 100 1 _ ‡a Derrick, John, ‡d 1963-
-
-
-
-
- 100 1 _ ‡a Derrick, John, ‡d 1963-....
- 100 0 _ ‡a John Derrick ‡c Welsh cricketer (1963-2017)
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | |
ABZ 2012 | |
Formal methods for distributed processing : a survey of object-oriented approaches | |
Formal methods for open object-based distributed systems : IFIP TC6 WG6.1 International workshop on formal methods for open object-based distributed systems (FMOODS'97), 21-23 July 1997, Canterbury, Kent, UK | |
Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings | |
FORTE 2007 | |
Handbook of new office technology | |
IFM 2012 | |
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings | |
Refinement in Z and Object-Z : foundations and advanced applications | |
The word processing handbook |