Certified Security by Design Using Higher Order Logic
Autor: Chin, Shiu-Kai (Syracuse University, Dept. of Electrical Engineering and Computer Science); Older, Susan (Syracuse University, Dept. of Electrical Engineering and Computer Science)
Disponibilitate: IN CURS DE PUBLICARE (se va livra din Marea Britanie in 2-5 saptamani de la data publicarii: 01/01/2020)
SKU:
9781138062184?>
554.99 RON
Okian.ro este o LIBRARIE online de carte in limba engleza.
CITESTE MAI MULT
Detalii
Descriere RO
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.
Acest manual raspunde nevoilor inginerilor si informaticienilor responsabili de proiectarea, implementarea si verificarea sistemelor informatice si informatice sigure. Metodele se bazeaza pe aplicarea logicii ca mijloc de descriere, rationare si verificare a proprietatilor sistemelor.