Bokus

Robert P. Kurshan

Visar alla böcker från författaren Robert P. Kurshan. Handla med fri frakt och snabb leverans.

  1. Computer-Aided Verification of Coordinating Processes

    Computer-Aided Verification of Coordinating Processes

    2014

  2. Investment Industry Claims Debunked

    Investment Industry Claims Debunked

    2021

  3. Verification of Digital and Hybrid Systems

    Verification of Digital and Hybrid Systems

    2012

  4. Computer-Aided Verification

    Computer-Aided Verification

    1991