Bokus

Frank Houdek – författare

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

2 produkter

  1. Alexander Raschke, Dominique Méry, Frank Houdek - Rigorous State-Based Methods, Häftad. Tillgänglighet: Lägg i varukorg

    Rigorous State-Based Methods

    7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

    Av Alexander Raschke, Dominique Méry m. fl.

    Häftad, 2020

    566 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully …

  2. Frank Houdek, Dominique Mery, Alexander Raschke - Rigorous State-Based Methods, E-bok. Tillgänglighet: Lägg i varukorg

    Rigorous State-Based Methods

    7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

    Av Frank Houdek, Dominique Mery m. fl.

    E-bok, 2020

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully …