Akademibokhandeln

Gerardo Schneider – författare

Visar alla böcker från författaren Gerardo Schneider.

5 produkter

  1. Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden. Tillgänglighet: Lägg i varukorg

    Formal Methods for Software Engineering

    Languages, Methods, Application Domains

    Av Markus Roggenbach, Antonio Cerone m. fl.

    Inbunden, 2022

    1179 kr

    Lägg i varukorg

  2. Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Software Engineering

    Languages, Methods, Application Domains

    Av Markus Roggenbach, Antonio Cerone m. fl.

    Häftad, 2023

    889 kr

    Lägg i varukorg

  3. Gilles Barthe, Alberto Pardo, Gerardo Schneider - Software Engineering and Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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

    739 kr

    Lägg i varukorg

  4. Devdatt Dubhashi, Alessandro Panconesi, Gerardo Schneider - Turing's Children, Inbunden. Tillgänglighet: Lägg i varukorg

    Turing's Children

    How His Ideas Have Shaped the Modern World

    Av Devdatt Dubhashi, Alessandro Panconesi m. fl.

    Inbunden, 2026

    959 kr

    Lägg i varukorg

  5. Devdatt Dubhashi, Alessandro Panconesi, Gerardo Schneider - Turing's Children, Häftad. Tillgänglighet: Lägg i varukorg

    Turing's Children

    How His Ideas Have Shaped the Modern World

    Av Devdatt Dubhashi, Alessandro Panconesi m. fl.

    Häftad, 2026

    799 kr

    Lägg i varukorg