> > > > raghavendra-kagalavadi-ramesh

We hebben 1 boek gevonden van de auteur Raghavendra Kagalavadi Ramesh


Hieronder vindt u een lijst met alle gevonden boeken van de auteur Raghavendra Kagalavadi Ramesh.
Het enige gevonden boek is Model Checking Trace-based Information Flow Properties.
Sorteer op:
Prijs nieuw / Prijs tweedehands / Aantal /
Raghavendra Kagalavadi Ramesh
Model Checking Trace-based Information Flow Properties

Bekijk boek

Nieuw (1)
€ 53,99