- 1 resultados
menor preço: € 24,95, preço mais alto: € 24,95, preço médio: € 24,95
1
Encomendar
no/na
(aproximadamente € 24,95)
EncomendarLink patrocinado
Laski, Janusz; Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach - Livro de bolso

2009, ISBN: 1848822510, Lieferbar binnen 4-6 Wochen Custos de envio:Versandkostenfrei innerhalb der BRD

Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 244 Seiten, L=156mm, B=234mm, H=13mm, Gew.=345gr, [GR: 26330 - TB/Programmiersprachen], [SW: - Computers -… mais…

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Custos de envio:Versandkostenfrei innerhalb der BRD Buchgeier.com
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 artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Autor:
Título:
Número ISBN:

1848822510


This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Dados detalhados do livro - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
Livro de bolso
Ano de publicação: 2009
Editor/Editora: SPRINGER VERLAG GMBH
244 Páginas
Peso: 0,345 kg
Língua: eng/Englisch

Livro na base de dados desde 2010-09-16T23:23:41+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2010-09-16T23:23:41+01:00 (Lisbon)
Número ISBN/EAN: 1848822510

Número ISBN - Ortografia alternativa:
1-84882-251-0, 978-1-84882-251-1

< Para arquivar...