Name: Rigorous Software Development. An Introduction to Program Verification
SKU: 64747731
Price: 67.54 USD
Availability: InStock
Author: Jorge Sousa Pinto;Simao Melo de Sousa;Maria Joao Frade;Jose Bacelar Almeida
ISBN: 9781447175575

portada Rigorous Software Development. An Introduction to Program Verification

Rigorous Software Development. An Introduction to Program Verification

Formato

Libro Físico

Editorial

Springer London Ltd

Autor

Jorge Sousa Pinto;Simao Melo de Sousa;Maria Joao Frade;Jose Bacelar Almeida

Colección

Undergraduate Topics in Computer Science

Año

2025

N° páginas

342

Encuadernación

Tapa Blanda

Dimensiones

23.5x15.5 cm

ISBN13

9781447175575

Rigorous Software Development. An Introduction to Program Verification

Jorge Sousa Pinto;Simao Melo De Sousa;Maria Joao Frade;Jose Bacelar Almeida (Autor) · Springer London Ltd · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 122.80$ 67.54

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 67.54

Llega entre el 05 Oct y el 19 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Rigorous Software Development. An Introduction to Program Verification"

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.