Prikaz rezultata 1 – 1 od 1 za pretragu 'Dykstra, Josiah', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

    Software verification and validation with destiny a parallel approach to automated theorem proving. od Dykstra, Josiah

    Članak

    Software verification and validation with destiny a parallel approach to automated theorem proving.

Alati za pretragu: