Bokus

Alexander Pretschner – författare

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

4 produkter

  1. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner - Model-Based Testing of Reactive Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Model-Based Testing of Reactive Systems

    Advanced Lectures

    Av Manfred Broy, Bengt Jonsson m. fl.

    Häftad, 2005

    569 kr

    Lägg i varukorg

    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …

  2. Alexander Pretschner, Martin Leucker, Joost-Pieter Katoen, Bengt Jonsson, Manfred Broy - Model-Based Testing of Reactive Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Model-Based Testing of Reactive Systems

    Advanced Lectures

    Av Alexander Pretschner, Martin Leucker m. fl.

    E-bok, 2005

    755 kr

    Lägg i varukorg

    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …

  3. Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner - Security and Trust Management, Häftad. Tillgänglighet: Lägg i varukorg

    Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

    Av Jorge Cuellar, Javier Lopez m. fl.

    Häftad, 2011

    569 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Focusing …

  4. Alexander Pretschner, Gilles Barthe, Javier Lopez, Jorge Cuellar - Security and Trust Management, E-bok. Tillgänglighet: Lägg i varukorg

    Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

    Av Alexander Pretschner, Gilles Barthe m. fl.

    E-bok, 2011

    739 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Focusing …