Tell your friends about this item:
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Undergraduate Topics in Computer Science 1st ed. 2017 edition
Gerard O'Regan
Price
¥ 10,633
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 17 - 27
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Undergraduate Topics in Computer Science 1st ed. 2017 edition
Gerard O'Regan
312 pages, 56 Illustrations, color; 25 Illustrations, black and white; XIX, 312 p. 81 illus., 56 ill
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 24, 2017 |
| ISBN13 | 9783319640204 |
| Publishers | Springer International Publishing AG |
| Pages | 322 |
| Dimensions | 243 × 158 × 20 mm · 576 g |
| Language | German |
Show all
More by Gerard O'Regan
![Cover for Gerard O'Regan · A Brief History of Computing (Hardcover Book) [Fourth Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/545/9783032042545.jpg?gerard-o-regan-2025-a-brief-history-of-computing-hardcover-book&class=scaled&v=1761035752)
![Cover for Gerard O'Regan · Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Texts in Computer Science (Paperback Book) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/142/9783031262142.jpg?gerard-o-regan-2024-mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-texts-in-computer-science-paperback-book&class=scaled&v=1722548109)
![Cover for Gerard O'Regan · Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Texts in Computer Science (Hardcover Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/111/9783031262111.jpg?gerard-o-regan-2023-mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-texts-in-computer-science-hardcover-book&class=scaled&v=1679599693)
![Cover for Gerard O'Regan · Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications - Texts in Computer Science (Paperback Book) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/905/9783030815905.jpg?gerard-o-regan-2022-guide-to-discrete-mathematics-an-accessible-introduction-to-the-history-theory-logic-and-applications-texts-in-computer-science-paperback-book&class=scaled&v=1666847827)
![Cover for Gerard O'Regan · Concise Guide to Software Engineering: From Fundamentals to Application Methods - Undergraduate Topics in Computer Science (Paperback Book) [2nd ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/156/9783031078156.jpg?gerard-o-regan-2022-concise-guide-to-software-engineering-from-fundamentals-to-application-methods-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1694203199)
![Cover for Gerard O'Regan · A Brief History of Computing (Paperback Book) [Third Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/019/9783030666019.jpg?gerard-o-regan-2022-a-brief-history-of-computing-paperback-book&class=scaled&v=1622062826)
![Cover for Gerard O'Regan · Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications - Texts in Computer Science (Hardcover Book) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/875/9783030815875.jpg?gerard-o-regan-2021-guide-to-discrete-mathematics-an-accessible-introduction-to-the-history-theory-logic-and-applications-texts-in-computer-science-hardcover-book&class=scaled&v=1694203199)
![Cover for Gerard O'Regan · A Brief History of Computing (Hardcover Book) [Third Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/982/9783030665982.jpg?gerard-o-regan-2021-a-brief-history-of-computing-hardcover-book&class=scaled&v=1618475048)
![Cover for Gerard O'Regan · Concise Guide to Software Testing - Undergraduate Topics in Computer Science (Paperback Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/930/9783030284930.jpg?gerard-o-regan-2019-concise-guide-to-software-testing-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1603998190)
![Cover for Gerard O'Regan · Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications - Texts in Computer Science (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/803/9783319830803.jpg?gerard-o-regan-2018-guide-to-discrete-mathematics-an-accessible-introduction-to-the-history-theory-logic-and-applications-texts-in-computer-science-paperback-book&class=scaled&v=1608850179)
![Cover for Gerard O'Regan · World of Computing: A Primer Companion for the Digital Age (Paperback Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/435/9783319758435.jpg?gerard-o-regan-2018-world-of-computing-a-primer-companion-for-the-digital-age-paperback-book&class=scaled&v=1530213423)
![Cover for Gerard O'Regan · Pillars of Computing: A Compendium of Select, Pivotal Technology Firms (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/064/9783319370064.jpg?gerard-o-regan-2016-pillars-of-computing-a-compendium-of-select-pivotal-technology-firms-paperback-book&class=scaled&v=1608921398)
![Cover for Gerard O'Regan · Introduction to the History of Computing: A Computing History Primer - Undergraduate Topics in Computer Science (Paperback Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/379/9783319331379.jpg?gerard-o-regan-2016-introduction-to-the-history-of-computing-a-computing-history-primer-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1563385192)
![Cover for Gerard O'Regan · Pillars of Computing: A Compendium of Select, Pivotal Technology Firms (Hardcover Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/634/9783319214634.jpg?gerard-o-regan-2015-pillars-of-computing-a-compendium-of-select-pivotal-technology-firms-hardcover-book&class=scaled&v=1550938277)
![Cover for Gerard O'Regan · Giants of Computing: A Compendium of Select, Pivotal Pioneers (Hardcover Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/399/9781447153399.jpg?gerard-o-regan-2013-giants-of-computing-a-compendium-of-select-pivotal-pioneers-hardcover-book&class=scaled&v=1411027414)
![Cover for Gerard O'Regan · Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Hardcover Book) [2013 edition] (2012)](https://imusic.b-cdn.net/images/item/original/332/9781447145332.jpg?gerard-o-regan-2012-mathematics-in-computing-an-accessible-guide-to-historical-foundational-and-application-contexts-hardcover-book&class=scaled&v=1605020393)
![Cover for Gerard O'Regan · A Brief History of Computing (Hardcover Book) [2nd ed. 2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/583/9781447123583.jpg?gerard-o-regan-2012-a-brief-history-of-computing-hardcover-book&class=scaled&v=1456739356)
![Cover for Gerard O'Regan · A Practical Approach to Software Quality (Paperback Book) [Softcover reprint of hardcover 1st ed. 2002 edition] (2011)](https://imusic.b-cdn.net/images/item/original/518/9781441929518.jpg?gerard-o-regan-2011-a-practical-approach-to-software-quality-paperback-book&class=scaled&v=1610573390)
![Cover for Gerard O'Regan · Introduction to Software Process Improvement - Undergraduate Topics in Computer Science (Paperback Book) [2011 edition] (2010)](https://imusic.b-cdn.net/images/item/original/714/9780857291714.jpg?gerard-o-regan-2010-introduction-to-software-process-improvement-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1430513572)
![Cover for Gerard O'Regan · Mathematical Approaches to Software Quality (Hardcover Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/423/9781846282423.jpg?gerard-o-regan-2006-mathematical-approaches-to-software-quality-hardcover-book&class=scaled&v=1605374682)
![Cover for Gerard O'Regan · A Practical Approach to Software Quality (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/212/9780387953212.jpg?gerard-o-regan-2002-a-practical-approach-to-software-quality-hardcover-book&class=scaled&v=1409667488)
See all of Gerard O'Regan ( e.g. Paperback Book , Hardcover Book and Book )