Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Ako nakupovať
Pomoc
Doručenie
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
▸
Prázdny :-(
0
Formal Specification and Proof of System Safety Using the Schematic Protection Model
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provid...
Celý popis
Libristo kód: 08142531
?
150 b
150 b
59.79
€
Skladom u dodávateľa
Odosielame za 15-20 dní
30 dní na vrátenie tovaru
Mohlo by vás tiež zaujímať
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.
Informácie o knihe
Celý názov
Formal Specification and Proof of System Safety Using the Schematic Protection Model
Autor
Raymond S Way
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2012
Počet strán
94
EAN
9781249595380
ISBN
9781249595380
Libristo kód
08142531
Nakladateľstvo
Biblioscholar
Váha
181
Rozmery
189 x 246 x 5
Kategórie
