Որոնման արդյունքները - "Computer logic Congresses."

Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
  • Ցուցադրվում են 1 - 1 արդյունքները 1
Հստակեցնել արդյունքները
  1. 1

    Formal logical methods for system security and correctness

    Հրապարակվել է 2008
    Խորագրեր: “…Computer logic Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Էլեկտրոնային Գիտաժողովի նյութեր էլ․ գիրք