104,20 €
122,59 €
Automated Theorem Proving in Software Engineering
104,20 € 
- Išsiųsime per 10–14 d.d.
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generat…
104.20
2025-07-06 23:59:00
/https://libri-media.knygos-static.lt/bf21c7ac-ad5e-4ab3-a187-19fb238d0dee/1)
- Autorius: Johann M. Schumann
- Leidėjas: Springer-Verlag GmbH
- Metai: 2001
- ISBN-10: 3540679898
- ISBN-13: 9783540679899
- Formatas: 15.9 x 24.1 x 2 cm, kieti viršeliai
- Kalba: Anglų
- Extra -15 % nuolaida šiai knygai su kodu: ENG15
Automated Theorem Proving in Software Engineering + nemokamas atvežimas! | knygos.lt
Atsiliepimai
Aprašymas
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book's bibliogra phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap peared in 1954 as output of a program for Pressburger arithmetic, written by Martin Davis. The work was not published at the time."EXTRA 15 % nuolaida
104,20 €
122,59 €
Išsiųsime per 10–14 d.d.
Kupono kodas: ENG15
Akcija baigiasi už 6d.10:07:06
Nuolaidos kodas galioja perkant nuo 10 €. Nuolaidos nesumuojamos.
- Autorius: Johann M. Schumann
- Leidėjas: Springer-Verlag GmbH
- Metai: 2001
- ISBN-10: 3540679898
- ISBN-13: 9783540679899
- Formatas: 15.9 x 24.1 x 2 cm, kieti viršeliai
- Kalba: Anglų
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book's bibliogra phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap peared in 1954 as output of a program for Pressburger arithmetic, written by Martin Davis. The work was not published at the time."
Atsiliepimai