Advertisement

Erratum to: Concise Guide to Formal Methods

Erratum
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Erratum to: G. O’Regan, Concise Guide to Formal Methods, Undergraduate Topics in Computer Science, DOI  10.1007/978-3-319-64021-1

The original version of this book unfortunately contained several mistakes and has been corrected.

The glossary had been incorrectly placed as “Abbreviations” and has been corrected to “Glossary”.

The List of Figures had not been included in the original version and has been inserted into the updated version.

The Chapter Key Topics had not been included in the original version and have been inserted into the updated version.

The References have been included in the chapter backmatter in the updated version.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.SQC ConsultingMallow, County CorkIreland

Personalised recommendations