Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Specification and Proof of System Safety Using the Schematic Protection Model Raymond S Way

Formal Specification and Proof of System Safety Using the Schematic Protection Model

Língua

Inglês

Livro Capa mole

Livro Formal Specification and Proof of System Safety Using the Schematic Protection Model Raymond S Way

Código Libristo: 08142531

Editoras Biblioscholar, outubro 2012

This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provid... Descrição completa

Código Libristo: 08142531

?

points

40 b

16.38 €

Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Leyendas: Anotado Esmeralda Publishing

/

Capa mole

10.55 €

Gute Nacht Wimmelbuch Alexandra Helm

/

Livro concertina

8.13 €

Souvenirs d'Un Artilleur de l'Armee Du Rhin. 16 Decembre 1891. Gratiolet-L

/

Capa mole

23.82 €

Dylogia Science Tom 2 The Science of Affection Popiel Julia

/

Capa mole

11.25 €

Accent O the Mind Rab Wilson

/

CD de áudio

11.05 €

Das große Handbuch der Ausreden für Tennisspieler David Schmid

/

Capa mole

9.64 €

Warhammer 40.000. La guía visual definitiva DK

/

Livro de capa dura

35.99 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Specification and Proof of System Safety Using the Schematic Protection Model

Autor Raymond S Way

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2012

Número de páginas 94

EAN 9781249595380

ISBN 9781249595380

Código Libristo 08142531

Editoras Biblioscholar

Peso 181

Dimensões 189 x 246 x 5

Categorias

Sociedade & ciências sociais > Ensino

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Oil Boom Architecture: Titusville, Pithole, and Petroleum Center William B. Moore

/

Capa mole

20.70 €

Pricing Reflects Value Perception, Not Cost Calculation Celeste Rowan

/

Capa mole

24.63 €

Smart, Sustainable, and Climate-Conscious Health Tourism Ahmet Sava¿an

/

Livro de capa dura

252.68 €

Why Is Ginny Anne Crying, Lincoln Mccarthy? E.B. Fletcher

/

Capa mole

18.29 €

All This Twisted Glory Tahereh Mafi

/

Livro de capa dura

16.98 €

Collector John Fowles

/

Adobe ePub DRM

9.84 €

What Type of Witch Are You? Wilder Julie Wilder

/

Capa mole

14.77 €

Chinese Mexicans Julia María Schiavone Camacho

/

Capa mole

35.08 €

Go: a Complete Introduction to the Game Cho Chikun

/

Capa mole

20.91 €

Wash, Wash, Wash Gill Budgell

/

Capa mole

8.03 €

Fragile Democracy: The Race for the U.S. Presidency CHRIS JACKSON

/

Livro de capa dura

14.67 €

Archaeology of Death in Post-medieval Europe Sarah Tarlow

/

Livro de capa dura

96.82 €

All On My Own Sarah Dromey

/

Livro de capa dura

33.37 €

Personal Financial Planning, International Edition Randy Billingsley

/

Capa mole

160.17 €

1001 Computer Words You Need to Know Jerry Pournelle

/

Livro de capa dura

30.06 €

Computer Algebra Recipes Richard H. Enns

/

Livro de capa dura

115.02 €

Federal Long-Range Spectrum Plan Matthew B. Lane

/

Livro de capa dura

41.12 €

Poems for the Common Man Betty Jo Mings

/

Livro de capa dura

24.02 €

Bandolines and Bubbles Milly O'Neil-Andrews

/

Capa mole

9.24 €

Heart to Heart Charles Crisp

/

Capa mole

14.67 €

Living with Victory After Past Mistakes Louise Bannerman

/

Livro de capa dura

28.15 €

Who Am I? Hudson

/

Capa mole

19.20 €

Reconciliation of Worship in the Black Church Charles E Lewis Sr

/

Capa mole

11.25 €

Mathematical Modelling and Numerical Simulation of Oil Pollution Problems Matthias Ehrhardt

/

Capa mole

52.98 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?