30% OFF

Rigorous Software Development

An Introduction To Program Verification

by Maria João Frade, Simao Melo De Sousa, Jorge Sousa Pinto e Jose Bacelar Almeida
language: english
Publisher: SPRINGER LONDON LTD, July of 2026 ‧
135,18€
94,63€
30% OFF
free shipping
Sell ​​your book
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.

Rigorous Software Development

An Introduction To Program Verification

by Maria João Frade, Simao Melo De Sousa, Jorge Sousa Pinto e Jose Bacelar Almeida

Property Description
ISBN: 9781447175575
Publisher: SPRINGER LONDON LTD
Release Date: July of 2026
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 290
Format: Book
Collection: Undergraduate Topics In Computer Science
Categories: Books in English > Computing > Schedule
EAN: 9781447175575