Rigorous Software Development - An Introduction to Program Verification
- Författare
- José Bacelar. Almeida
- (José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London | 2011 | Storbritannien, London | 978-0-85729-018-2 |