Gerardo Schneider – författare
Visar alla böcker från författaren Gerardo Schneider. Handla med fri frakt och snabb leverans.
7 produkter
Turing's Children
How His Ideas Have Shaped the Modern World
Av Devdatt Dubhashi, Alessandro Panconesi m. fl.
Häftad, 2026
515 kr
Lägg i varukorg
This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts—universal computability and insolvability, cryptography, electronic digital …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Inbunden, 2022
895 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Siraj Ahmed Shaikh, Gerardo Schneider m. fl.
E-bok, 2022
897 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Häftad, 2023
673 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Av Gilles Barthe, Alberto Pardo m. fl.
Häftad, 2011
562 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were …
Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Av Gerardo Schneider, Alberto Pardo m. fl.
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were …
Turing's Children
How His Ideas Have Shaped the Modern World
Av Devdatt Dubhashi, Alessandro Panconesi m. fl.
Inbunden, 2026
737 kr
Lägg i varukorg
This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today.These five groundbreaking concepts—universal computability and insolvability, cryptography, electronic digital …
