Model Checking Trace-Based Information Flow Properties door Raghavendra Kagalavadi Ramesh
Nu kopen!

Boek

Model Checking Trace-Based Information Flow Properties

For finite state systems and pushdown systems « 

Score:
 
 
 
 
 
 (3/0)

Aantal recensies:
0 
Aantal keer getipt:
0 
Aantal keer gelezen:
0 
Auteur(s):
,   
Categorie:
 
ISBN
9783838377803

 
Deel via E-mail 
Deel op Twitter 



 
Informatie
 
 
Recensies
 
 
Prikbord
 
 
 
Vergelijkbaar
 
 
 
Lezers
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Recensies van Model Checking Trace-Based Information Flow Properties door Deepak D'Souza & Raghavendra Kagalavadi Ramesh

Model Checking Trace-Based Information Flow Properties is 0 keer gerecenseerd. De gemiddelde score is 3.0. Het boek is 0 keer gelezen.
Anoniem

Er zijn nog geen recensies voor dit boek.