Rigorous Software Development: An Introduction to Program Verification
José Bacelar Almeida (author), Maria João Frade (author), Jorge Sousa Pinto (author), Simão Melo de Sousa (author)
Paperback Published on: 07/01/2011
Price: £26.99
Publisher information
- Publisher: Springer London Ltd
- ISBN: 9780857290175
- Number of pages: 307
- Dimensions: 235 x 155 mm
- Languages: English


