Hoppa till sidans huvudinnehåll

Gerardo Schneider – författare

Visar alla böcker från författaren Gerardo Schneider.
5 produkter
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Inbunden, Engelska, 2022

719 kr

Skickas inom 5-8 vardagar

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Häftad, Engelska, 2023

549 kr

Skickas inom 5-8 vardagar

Gilles Barthe, Alberto Pardo, Gerardo Schneider - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

AvGilles Barthe,Alberto Pardom. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Devdatt Dubhashi, Alessandro Panconesi, Gerardo Schneider - Turing's Children, Inbunden

Turing's Children

How His Ideas Have Shaped the Modern World

AvDevdatt Dubhashi,Alessandro Panconesim. fl.

Inbunden, Engelska, 2026

939 kr

Skickas inom 5-8 vardagar

Devdatt Dubhashi, Alessandro Panconesi, Gerardo Schneider - Turing's Children, Häftad

Turing's Children

How His Ideas Have Shaped the Modern World

AvDevdatt Dubhashi,Alessandro Panconesim. fl.

Häftad, Engelska, 2026

769 kr

Skickas inom 10-15 vardagar