Barbara Sprick | Akateeminen Kirjakauppa

MODEL CHECKING TRACE-BASED INFORMATION FLOW PROPERTIES

Raghavendra Kagalavadi Ramesh; Deepak D'Souza; Barbara Sprick
LAP Lambert Academic Publishing (2012)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

58,10 €

Model checking trace-based information flow properties

58,10 €

LAP Lambert Academic Publishing
Sivumäärä: 64 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2012, 02.03.2012 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 12-15 arkipäivässä

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Näytä kaikki tuotetiedot

ISBN:

9783838377803

Aihealue:

Sisäänkirjautuminen

Oma tili

Lisätietoja