Ngā hua rapu - Program verification (computers)

Ngā kaupapa kua whakahuatia i roto i tō rapu. Ngā kaupapa kua whakahuatia i roto i tō rapu.
  • E whakaatu ana i te 1 - 1 hua o te 1
Whakamahine hua
  1. Ata uhi

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS mā Yoeli, Michael, 1917-

    I whakaputaina c2008.
    Ngā marau: “…Computer software Verification.…”
    Whiwhi kuputuhi katoa
    Ver en el OPAC
    Tāhiko īPukapuka
    Tiaki ki tētahi rārangi
    I tiakina i:

Ngā utauta rapu: