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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 16106137
Price: 116.68 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783319576831

Rolf Drechsler

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 16106137

Editoras Springer International Publishing AG, julho 2017

This book provides readers with a comprehensive introduction to the formal verification of hardware... Descrição completa

Código Libristo: 16106137

283 b

116.68 €

Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Contes Allemands 2e Edition SIMROCK-K

Capa mole

19.99 €

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.