Suchergebnisse - Aiello, Mario

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Un sistema interattivo per la dimostrazione di proprietà di programmi e schemi
    von Aiello, Luigia, Aiello, Mario, Prini, Franco

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Optimal matching of wheat chromosomes
    von Aiello, Mario, Lami, C., Montanari, Ugo 1943-

    Veröffentlicht 1973
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Proving program correctness in LCF
    von Aiello, Luigia, Aiello, Mario

    Veröffentlicht 1974
    Buch


    Gespeichert in:

Suchwerkzeuge: