- 5 resultados
menor preço: € 45,45, preço mais alto: € 75,99, preço médio: € 60,99
1
Software Verification and Analysis - Janusz Laski#William Stanley
Encomendar
no/na Thalia.de
€ 75,99
Envio: € 0,001
EncomendarLink patrocinado
Janusz Laski#William Stanley:

Software Verification and Analysis - encadernado, livro de bolso

2009, ISBN: 9781848822399

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessin… mais…

Nr. 16098369. Custos de envio:, Sofort lieferbar, DE. (EUR 0.00)
2
Software Verification and Analysis  An Integrated, Hands-On Approach  Janusz Laski (u. a.)  Buch  Englisch  2009 - Laski, Janusz
Encomendar
no/na booklooker.de
€ 59,90
Envio: € 0,001
EncomendarLink patrocinado

Laski, Janusz:

Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - encadernado, livro de bolso

2009, ISBN: 9781848822399

[ED: Gebunden], [PU: Springer London], "The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
3
Software Verification and Analysis  An Integrated, Hands-On Approach  Janusz Laski (u. a.)  Buch  Englisch  2009 - Laski, Janusz
Encomendar
no/na booklooker.de
€ 61,90
Envio: € 0,001
EncomendarLink patrocinado
Laski, Janusz:
Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - encadernado, livro de bolso

2009

ISBN: 9781848822399

[ED: Gebunden], [PU: Springer London], "The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
4
Software Verification and Analysis - Janusz Laski William Stanley
Encomendar
no/na booklooker.de
€ 45,45
Envio: € 0,001
EncomendarLink patrocinado
Janusz Laski William Stanley:
Software Verification and Analysis - primeira edição

2009, ISBN: 9781848822399

Edição encadernada

[ED: Gebunden], [PU: Springer London], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Emphasis is given to the integration of the most im… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Software Verification and Analysis - Janusz Laski
Encomendar
no/na BookDepository.com
€ 61,70
Envio: € 0,001
EncomendarLink patrocinado
Janusz Laski:
Software Verification and Analysis - encadernado, livro de bolso

ISBN: 9781848822399

Hardback, [PU: Springer London Ltd], “The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porti… mais…

Custos de envio:Versandkostenfrei. (EUR 0.00)

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
Software Verification and Analysis

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification. Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD's handling of the concepts is illustrated. Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.

Dados detalhados do livro - Software Verification and Analysis


EAN (ISBN-13): 9781848822399
ISBN (ISBN-10): 1848822391
Livro de capa dura
Livro de bolso
Ano de publicação: 2009
Editor/Editora: Springer-Verlag GmbH
234 Páginas
Peso: 0,509 kg
Língua: eng/Englisch

Livro na base de dados desde 2008-07-27T00:01:13+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-04-20T10:46:24+01:00 (Lisbon)
Número ISBN/EAN: 9781848822399

Número ISBN - Ortografia alternativa:
1-84882-239-1, 978-1-84882-239-9
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: janusz, janus, jan laski, william stanley, lask
Título do livro: analysis, software, few hands


Dados da editora

Autor: Janusz Laski; William Stanley
Título: Software Verification and Analysis - An Integrated, Hands-On Approach
Editora: Springer; Springer London
234 Páginas
Ano de publicação: 2009-04-03
London; GB
Impresso / Feito em
Peso: 1,150 kg
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 234 p. 62 illus. With online files/update.

BB; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program dependencies; Program proving; Software verification; Static analysis; software; testing; verification; Software Engineering; Programming Techniques; Software Engineering; Programming Techniques; Computerprogrammierung und Softwareentwicklung; BC; EA

The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural Program Testing.- Dynamic Program Analysis.

< Para arquivar...