- 5 Resultados
precio mínimo: € 45,45, precio máximo: € 75,99, precio promedio: € 60,99
1
Software Verification and Analysis - Janusz Laski#William Stanley
Pedir
por Thalia.de
€ 75,99
Envío: € 0,001
PedirEnlace patrocinado
Janusz Laski#William Stanley:

Software Verification and Analysis - encuadernado, tapa blanda

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… Más…

Nr. 16098369. Gastos de envío:, 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
Pedir
por booklooker.de
€ 59,90
Envío: € 0,001
PedirEnlace patrocinado

Laski, Janusz:

Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - encuadernado, tapa blanda

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… Más…

Gastos de envío: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
Pedir
por booklooker.de
€ 61,90
Envío: € 0,001
PedirEnlace patrocinado
Laski, Janusz:
Software Verification and Analysis An Integrated, Hands-On Approach Janusz Laski (u. a.) Buch Englisch 2009 - encuadernado, tapa blanda

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… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
4
Software Verification and Analysis - Janusz Laski William Stanley
Pedir
por booklooker.de
€ 45,45
Envío: € 0,001
PedirEnlace patrocinado
Janusz Laski William Stanley:
Software Verification and Analysis - Primera edición

2009, ISBN: 9781848822399

Pasta dura

[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… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Software Verification and Analysis - Janusz Laski
Pedir
por BookDepository.com
€ 61,70
Envío: € 0,001
PedirEnlace patrocinado
Janusz Laski:
Software Verification and Analysis - encuadernado, tapa blanda

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… Más…

Gastos de envío:Versandkostenfrei. (EUR 0.00)

1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
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.

Detalles del libro - Software Verification and Analysis


EAN (ISBN-13): 9781848822399
ISBN (ISBN-10): 1848822391
Tapa dura
Tapa blanda
Año de publicación: 2009
Editorial: Springer-Verlag GmbH
234 Páginas
Peso: 0,509 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2008-07-27T01:01:13+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-04-20T11:46:24+02:00 (Madrid)
ISBN/EAN: 9781848822399

ISBN - escritura alterna:
1-84882-239-1, 978-1-84882-239-9
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: janusz, janus, jan laski, william stanley, lask
Título del libro: analysis, software, few hands


Datos del la editorial

Autor: Janusz Laski; William Stanley
Título: Software Verification and Analysis - An Integrated, Hands-On Approach
Editorial: Springer; Springer London
234 Páginas
Año de publicación: 2009-04-03
London; GB
Impreso en
Peso: 1,150 kg
Idioma: 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 archivar...