Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Formal Specification and Proof of System Safety Using the Schematic Protection Model
Język
Angielski
Angielski
Książka
Miękka
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provid...
Cały opis
Kod Libristo: 08142531
?
150 b
150 b
255.86
zł
Dostępna u dostawcy
Wysyłamy za 15-20 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provide security services such as confidentiality and integrity. The theory described by the resultant model was logically proved in the Prototype Verification System (PVS). Each component of SPM was tested, as were several anomalous conditions, and each test produced results consistent with the model. The model is internally modular, and therefore easily extensible, yet cohesive since the theory to be proved encompasses the entire specification.
Informacje o książce
Pełna nazwa
Formal Specification and Proof of System Safety Using the Schematic Protection Model
Autor
Raymond S Way
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
Liczba stron
94
EAN
9781249595380
ISBN
9781249595380
Kod Libristo
08142531
Wydawnictwo
Biblioscholar
Waga
181
Wymiary
189 x 246 x 5
Kategoria
