Cover Image
Read Now

1
by O'Regan, Gerard
Published 2017
Springer International Publishing
Table of Contents: “... and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software...”
Cover Image
Read Now

2
by O'Regan, Gerard
Published 2006
Springer London
Table of Contents: “... Specification Language -- Vienna Development Method -- Irish School of VDM -- Dijkstra and Hoare -- The Parnas...”
Cover Image
Read Now

3
by O'Regan, Gerard
Published 2016
Springer International Publishing
Table of Contents: “... Topics in Logic -- Software Engineering Mathematics -- Formal Methods -- Z Formal Specification Language...”
Cover Image
Read Now

4
by O'Regan, Gerard
Published 2022
Springer International Publishing
Table of Contents: “.... Formal Methods -- 17. Z Specification Language...”
Cover Image
Read Now

5
by O'Regan, Gerard
Published 2017
Springer International Publishing
Table of Contents: “... -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School...”
Cover Image
Read Now

6
by O'Regan, Gerard
Published 2023
Springer Nature Switzerland
Cover Image
Read Now

7
by O'Regan, Gerard
Published 2021
Springer International Publishing
Table of Contents: “.... Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications...”
Cover Image
Read Now

8
by O'Regan, Gerard
Published 2011
Springer London