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

Rigorous Software Development 2011 edition

Jose Bacelar Almeida

Price
S$ 68

Ordered from remote warehouse

Expected delivery Feb 3 - 14

Our customers say:

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

Rigorous Software Development 2011 edition

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  

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