Bokus

Dietmar Schreiner – författare

Visar alla böcker från författaren Dietmar Schreiner. Handla med fri frakt och snabb leverans.

2 produkter

  1. Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification, and Validation, Häftad. Tillgänglighet: Lägg i varukorg

    Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

    Av Reiner Hähnle, Jens Knoop m. fl.

    Häftad, 2012

    567 kr

    Lägg i varukorg

    This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium …

  2. Bernhard Steffen, Dietmar Schreiner, Tiziana Margaria, Jens Knoop, Reiner Hahnle - Leveraging Applications of Formal Methods, Verification, and Validation, E-bok. Tillgänglighet: Lägg i varukorg

    Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

    Av Bernhard Steffen, Dietmar Schreiner m. fl.

    E-bok, 2012

    755 kr

    Lägg i varukorg

    This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium …