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 Roadmap for Formal Property Verification Pallab Dasgupta

Roadmap for Formal Property Verification

Pallab Dasgupta

Língua

Inglês

Livro Capa mole

Livro Roadmap for Formal Property Verification Pallab Dasgupta

Código Libristo: 01975380

Editoras Springer, outubro 2010

Integrating formal property verification (FPV) into an existing design process raises several intere... Descrição completa

Código Libristo: 01975380

?

points

249 b

103.12 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

La Responsabilité Médicale: La Réparation Hatim Souktani

/

Capa mole

57.02 €

Operaciones de caja en la venta. Refuerzo IPA0040 CRUZADO REVILLA

/

Capa mole

13.56 €

Rama Gentry

/

Capa mole

28.36 €

Theoretische Ansatze der Marketingwissenschaft Dirk Lippold

/

Capa mole

14.38 €

Jetzt wird gesnackt! Ute-Marion Wilkesmann

/

Capa mole

13.56 €

Frankfurter Sagenbuch Karl Enslin

/

Capa mole

35.75 €

Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky

/

Capa mole

28.86 €

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

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 Roadmap for Formal Property Verification

Autor Pallab Dasgupta

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2010

Número de páginas 252

EAN 9789048171859

ISBN 9048171857

Código Libristo 01975380

Editoras Springer

Peso 434

Dimensões 160 x 240 x 15

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes

Tecnologia, Engenharia & Agricultura > Tecnologia: questões gerais > Engenharia: generalidades

Tecnologia, Engenharia & Agricultura > Tecnologia & engenharia energética > Engenharia elétrica

Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

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

Raising Drug Addicts Robert Mitchell

/

Livro de capa dura

30.28 €

Gymnasium CF (Christopher) Forgues

/

Capa mole

30.48 €

Popcorn Ideas for Women Groups Hampton Shirley Hampton

/

Capa mole

15.59 €

The Life And Works Of Goethe: With Sketches Of His Age And Contemporaries V1 G. H. Lewes

/

Capa mole

36.46 €

Economic History of a Divided Europe Ivan T. Berend

/

Livro de capa dura

252.03 €

Nitra City guide

/

Capa mole

6.88 €

Polyvinylpyrrolidone Excipients for Pharmaceuticals Volker Bühler

/

Capa mole

110.92 €

First Generation Singular: Reactions to Living in Post-Holocaust Germany: in Poetry and Prose Shirlee Sky Hoffman

/

Capa mole

6.78 €

Kiss The Little You Goodbye Sophia Burrell

/

Capa mole

10.42 €

Forgery Ave Barrera

/

Capa mole

11.54 €

Market Operations in Electric Power Systems - Forecasting, Scheduling and Risk Management Mohammad Shahidehpour

/

Livro de capa dura

199.36 €

Universe in Your Hand Christophe Galfard

/

Capa mole

12.65 €

1,227 Quite Interesting Facts to Blow Your Socks Off John Lloyd

/

Livro de capa dura

13.97 €

Literacy and Democracy in Fifth-Century Athens Anna Missiou

/

Livro de capa dura

82.86 €

GOBEKLI TEPE & KARAHAN TEPE WORLDS FIRST NEWMAN HUGH

/

Capa mole

7.69 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?