Denvir, Tim books & textbook
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 (Workshops in Computing)
Jones, Cliff B. Shaw, Roger C. Denvir, Tim
Springer /1992-10-27 Paperback / 389 Pages
isbn-10: 3540197524 / isbn-13: 9783540197522
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Methods, International Symposium of Formal Naftalin, Maurice Denvir, Tim Bertran, Miquel
Springer /1994T Paperback / 744 Pages
isbn-10: 3540585559 / isbn-13: 9783540585558
Carl Adam Petri: Life and Science
Springer /2016-08-23 Paperback / 139 Pages
isbn-10: 3662516837 / isbn-13: 9783662516836
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Workshops in Computing)
Denvir, Tim Herman, Rosalind Whitty, Robin
Springer /1992-08-28 Paperback / 267 Pages
isbn-10: 3540197885 / isbn-13: 9783540197881
Introduction to Discrete Mathematics for Software Engineering
Palgrave HE UK /1986-12-05 Paperback / 320 Pages
isbn-10: 0333407377 / isbn-13: 9780333407370
