Tim Denvir

Identifiers

Open LibraryOL3350256A

Top Subjects

Mathematics (2)
Electronic data processing -- Mathematics (1)
General (1)
Petri nets (1)
Computer science (1)

Books by Tim Denvir

Total count: 7

Introduction to discrete mathematics for software engineering

Macmillan Education1986-01-01
Introduction to Discrete Mathematics for Software Engineering

Palgrave Macmillan1986-12-05
Introduction to Discrete Mathematics for Software Engineering

Free Press1987-09-01
Formal Aspects of Measurement

Island Press1992-01-01
Formal Aspects of MeasurementProceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Springer London1992-01-01
5th Refinement WorkshopProceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992

Springer2012-12-22
Carl Adam PetriLife and Science

Springer2015-01-01