Tipsa dina vänner om produkten:
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Undergraduate Topics in Computer Science Gerard O'Regan 1st ed. 2017 edition
Pris
SEK 689
Beställningsvara
Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Undergraduate Topics in Computer Science
Gerard O'Regan
312 pages, 56 Illustrations, color; 25 Illustrations, black and white; XIX, 312 p. 81 illus., 56 ill
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 24 augusti 2017 |
| ISBN13 | 9783319640204 |
| Utgivare | Springer International Publishing AG |
| Antal sidor | 322 |
| Mått | 243 × 158 × 20 mm · 576 g |
| Språk | Tyska |
Fler produkter med Gerard O'Regan
Visa alla![Cover for Gerard O'Regan · A Brief History of Computing (Inbunden Bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/545/9783032042545.jpg?gerard-o-regan-2026-a-brief-history-of-computing-inbunden-bok&class=scaled&v=1761035752)
![Cover for Gerard O'Regan · Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Texts in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1722548109)
![Cover for Gerard O'Regan · Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Texts in Computer Science (Inbunden Bok) [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-inbunden-bok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1666847827)
![Cover for Gerard O'Regan · Concise Guide to Software Engineering: From Fundamentals to Application Methods - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1694203199)
![Cover for Gerard O'Regan · A Brief History of Computing (Pocketbok) [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-pocketbok&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 (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1694203199)
![Cover for Gerard O'Regan · A Brief History of Computing (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1618475048)
![Cover for Gerard O'Regan · Concise Guide to Software Testing - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1608850179)
![Cover for Gerard O'Regan · World of Computing: A Primer Companion for the Digital Age (Pocketbok) [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-pocketbok&class=scaled&v=1530213423)
![Cover for Gerard O'Regan · Pillars of Computing: A Compendium of Select, Pivotal Technology Firms (Pocketbok) [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-pocketbok&class=scaled&v=1608921398)
![Cover for Gerard O'Regan · Introduction to the History of Computing: A Computing History Primer - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1563385192)
![Cover for Gerard O'Regan · Pillars of Computing: A Compendium of Select, Pivotal Technology Firms (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1550938277)
![Cover for Gerard O'Regan · Giants of Computing: A Compendium of Select, Pivotal Pioneers (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1411027414)
![Cover for Gerard O'Regan · Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1605020393)
![Cover for Gerard O'Regan · A Brief History of Computing (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1456739356)
![Cover for Gerard O'Regan · A Practical Approach to Software Quality (Pocketbok) [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-pocketbok&class=scaled&v=1610573390)
![Cover for Gerard O'Regan · Introduction to Software Process Improvement - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1430513572)
![Cover for Gerard O'Regan · Mathematical Approaches to Software Quality (Inbunden Bok) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/423/9781846282423.jpg?gerard-o-regan-2006-mathematical-approaches-to-software-quality-inbunden-bok&class=scaled&v=1605374682)
![Cover for Gerard O'Regan · A Practical Approach to Software Quality (Inbunden Bok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/212/9780387953212.jpg?gerard-o-regan-2002-a-practical-approach-to-software-quality-inbunden-bok&class=scaled&v=1409667488)
Se alt med Gerard O'Regan ( t.ex. Pocketbok , Inbunden Bok och Bok )