指定した検索語 - functions conditional ((programming verification) OR (programming negation)) basic citrus* - に合致する資料はありませんでした。

少々検索語を変更した方が良いでしょう。:
programming verification » program verification, programs verification, programming classification
functions conditional » functions functional, functional conditioning, functions computational
programming negation » programming negative, programming integration, programming animation
basic citrus » bali citrus, asian citrus, barli citrus

検索結果が意図したものでない場合は、検索語を変更してもう一度検索してください。