Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Tim Denvir

Books by author

Tim Denvir

Introduction to Discrete Mathematics for Software Engineering

Introduction to Discrete Mathematics for Software Engineering

1986 · ENGLISH · DJVU

View details →

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

1994 · ENGLISH · DJVU

View details →

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

1992 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme