Model-checking infinite state systems for information flow security

Lieferzeit: Lieferbar innerhalb 14 Tagen

71,90 €

ISBN: 3659301310
ISBN 13: 9783659301315
Autor: K R, Raghavendra
Verlag: LAP LAMBERT Academic Publishing
Umfang: 160 S.
Erscheinungsdatum: 04.08.2016
Auflage: 1/2016
Format: 1 x 22 x 15
Gewicht: 256 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6633775 Kategorie:

Beschreibung

Herstellerkennzeichnung:


BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE

E-Mail: info@bod.de

Das könnte Ihnen auch gefallen …