Modelling Distributed Systems
Autor: Fokkink, Wan
Disponibilitate: LIVRARE IN 3-5 saptamani (produsul este livrat din Marea Britanie)
SKU:
9783540739371
340.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 ghideaza studentii prin specificatii algebrice si verificarea sistemelor distribuite si unele dintre cele mai proeminente tehnici de verificare formala. Solutiile complete sunt furnizate intr-o anexa, in timp ce fisele de exercitii, exercitiile de laborator, specificatiile de exemplu si diapozitivele pentru lector sunt disponibile pe site-ul autorului.