- 5 resultados
menor preço: € 34.76, preço mais alto: € 162.49, preço médio: € 73.85
1
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay, Gupta, Aarti
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 70.95
Envio: € 3.001
Encomendar
Detalhes fornecedor
Link patrocinado
Ganai, Malay, Gupta, Aarti:

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - encadernada, livro de bolso

2007, ISBN: 9780387691664

Springer, Gebundene Ausgabe, Auflage: 2007, 360 Seiten, Publiziert: 2007-05-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 22587001, 1.55 kg, CAD & CAM, Grafik & Multimedia, Computer … mais…

Gebraucht, wie neu. Custos de envio:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Ultimate Treasures DE
fechar(X)
2
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Encomendar
no/na Achtung-Buecher.de
€ 162.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado

Gupta, Aarti; Ganai, Malay:

SAT-Based Scalable Formal Verification Solutions - encadernada, livro de bolso

2007, ISBN: 0387691669

2007 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designproce… mais…

Custos de envio:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
3
SAT-Based Scalable Formal Verification Solutions (eBook Rental) - Malay Ganai; Aarti Gupta,
Encomendar
no/na VitalSource.com
£ 29.85
(aproximadamente € 34.76)
Encomendar
Detalhes e envio
Link patrocinado
Malay Ganai; Aarti Gupta,:
SAT-Based Scalable Formal Verification Solutions (eBook Rental) - nuovo livro

ISBN: 9780387691664

by Malay Ganai; Aarti Gupta, PRINT ISBN: 9780387691664 E-TEXT ISBN: 9780387691671 Springer Nature eBook Other pricing structure might be available at vitalsource.com., Springer

new in stock United Kingdom. Custos de envio:plus shipping costs., mais custos de envio
fechar(X)
4
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay und Aarti Gupta
Encomendar
no/na booklooker.de
€ 60.11
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Ganai, Malay und Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - livro usado

2007, ISBN: 9780387691664

[PU: Springer US], Neubindung 3487105/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, International sh… mais…

Custos de envio:Free shipping. (EUR 0.00) Buchpark GmbH
fechar(X)
5
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay und Aarti Gupta
Encomendar
no/na booklooker.de
€ 40.92
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Ganai, Malay und Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - livro usado

2007, ISBN: 9780387691664

[PU: Springer US], Neubindung 3487105/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, PayPal, Klarna-Sofortüberweisung, Internationaler Versand

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
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
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Autor:
Título:
Número ISBN:

9780387691664


This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Dados detalhados do livro - SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)


EAN (ISBN-13): 9780387691664
ISBN (ISBN-10): 0387691669
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer
330 Páginas
Peso: 0,703 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-11-11T14:18:47-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-08-03T08:26:57-03:00 (Sao Paulo)
Número ISBN/EAN: 9780387691664

Número ISBN - Ortografia alternativa:
0-387-69166-9, 978-0-387-69166-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: malay, mala gupta, jameson
Título do livro: sat based scalable formal verification solutions, integrated circuits

< Para arquivar...