Model Checking
Autor: Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Peled, Doron (Bar Ilan University); Veith, Helmut (Technische Universitaet Darmstadt)
Disponibilitate: LIVRARE IN 4-6 saptamani (produsul este livrat din Marea Britanie)
SKU:
9780262038836
490.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.