Rigorous Software Development - Jose Bacelar Almeida - Books - Springer London Ltd - 9780857290175 - January 7, 2011
In case cover and title do not match, the title is correct

Jose Bacelar Almeida
Rigorous Software Development 2011 edition

Price
Íkr 6,309
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 15 - 26, 2026

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.

276 pages, 52 black & white illustrations, biography

Media Books     Book
Released January 7, 2011
ISBN13 9780857290175
Publishers Springer London Ltd
Pages 307
Dimensions 155 × 235 × 15 mm   ·   390 g
Language English  

More by Jose Bacelar Almeida

Show all

More from this series

See all of Jose Bacelar Almeida ( e.g. Book and Paperback Book )