- 5 resultados
menor preço: € 100.92, preço mais alto: € 138.99, preço médio: € 118.55
1
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 106.58
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Dasgupta, Pallab:

A Roadmap for Formal Property Verification - Livro de bolso

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.38 kg, CAD & CAM, Grafik & Multimedia, Co… mais…

Custos de envio:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
fechar(X)
2
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 100.92
Envio: € 3.001
Encomendar
Detalhes fornecedor
Link patrocinado

Dasgupta, Pallab:

A Roadmap for Formal Property Verification - Livro de bolso

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.38 kg, CAD & CAM, Grafik & Multimedia, Co… mais…

Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fechar(X)
3
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Encomendar
no/na Achtung-Buecher.de
€ 111.22
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - Livro de bolso

2010

ISBN: 9048171857

Edição encadernada

Softcover reprint of hardcover 1st ed. 2006 Kartoniert / Broschiert Elektrotechnik, Elektronik, Computer-Aided Design (CAD), Theoretische Informatik, Rechnerarchitektur und Logik-Entwur… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
4
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 135.03
Envio: € 3.001
Encomendar
Detalhes fornecedor
Link patrocinado
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - Livro de bolso

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 1 kg, CAD & CAM, Grafik & Multimedia, Compu… mais…

Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fechar(X)
5
A Roadmap for Formal Property Verification - Pallab Dasgupta
Encomendar
no/na Hugendubel.de
€ 138.99
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Pallab Dasgupta:
A Roadmap for Formal Property Verification - Livro de bolso

2006, ISBN: 9048171857

Edição encadernada

A Roadmap for Formal Property Verification ab 138.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2006. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft, Springer Ne… mais…

Nr. 13634098. Custos de envio:, , DE. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
A Roadmap for Formal Property Verification
Autor:
Título:
Número ISBN:

9789048171859


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.

Dados detalhados do livro - A Roadmap for Formal Property Verification


EAN (ISBN-13): 9789048171859
ISBN (ISBN-10): 9048171857
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer
268 Páginas
Peso: 0,432 kg
Língua: eng/Englisch

Livro na base de dados desde 2011-05-03T09:12:21-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-11-04T07:42:48-03:00 (Sao Paulo)
Número ISBN/EAN: 9789048171859

Número ISBN - Ortografia alternativa:
90-481-7185-7, 978-90-481-7185-9
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: dasgupta
Título do livro: roadmap

Dados da editora

Autor: Pallab Dasgupta
Título: A Roadmap for Formal Property Verification
Editora: Springer; Springer Netherland
252 Páginas
Ano de publicação: 2010-10-19
Dordrecht; NL
Impresso / Feito em
Língua: Inglês
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XIV, 252 p.

BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; algorithms; environment; formal method; formal specification; formal verification; integrated circuit; metal-oxide-semiconductor transistor; simulation; single-electron transistor; technology; Electronic Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronics and Microelectronics, Instrumentation; Logic Design; Electrical and Electronic Engineering; Formal Languages and Automata Theory; Computer-Aided Design (CAD); Elektronik; Rechnerarchitektur und Logik-Entwurf; Elektrotechnik; Theoretische Informatik; BB

Languages for Temporal Properties.- How Does the Property Checker Work?.- Is My Specification Consistent?.- Have I Written Enough Properties?.- Design Intent Coverage.- Test Generation Games.- A Roadmap for Formal Property Verification.
FPV methods - presented conceptually Architecting assertion suites with System Verilog Assertions Formal verification coverage Consistency issues in formal specifications Design Intent Coverage Intelligent test generation from formal specifications
< Para arquivar...