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
SEK 489
excl. VAT

Ordered from remote warehouse

Expected delivery May 26 - Jun 6

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 )