- 1 Resultados
precio mínimo: € 24,95, precio máximo: € 24,95, precio promedio: € 24,95
1
Pedir
por
(aprox. € 24,95)
PedirEnlace patrocinado
Laski, Janusz; Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach - Pasta blanda

2009, ISBN: 1848822510, Lieferbar binnen 4-6 Wochen Gastos de envío: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 -… Más…

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Gastos de envío:Versandkostenfrei innerhalb der BRD Buchgeier.com

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

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.

Detalles del libro - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
Tapa blanda
Año de publicación: 2009
Editorial: SPRINGER VERLAG GMBH
244 Páginas
Peso: 0,345 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2010-09-16T17:23:41-05:00 (Mexico City)
Página de detalles modificada por última vez el 2010-09-16T17:23:41-05:00 (Mexico City)
ISBN/EAN: 9781848822511

ISBN - escritura alterna:
1-84882-251-0, 978-1-84882-251-1


< para archivar...