Bokus

Gregor von Bochmann

Visar alla böcker från författaren Gregor von Bochmann. Handla med fri frakt och snabb leverans.

  1. Formal Description Techniques VIII

    Formal Description Techniques VIII

    2016

  2. Testing of Communicating Systems

    Testing of Communicating Systems

    2013

  3. Computer Aided Verification

    Computer Aided Verification

    1993