Home > Rigorous Software Development: An Introduction to Program Verification
Rigorous Software Development: An Introduction to Program Verification
Book Informaton
Author
José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa
Series
Undergraduate Topics in Computer Science
Year of Publication
2011
Publisher
Springer London
City of Publication
London
Pages
XIII, 307
Language
en
ISBN
9780857290175, 9780857290182, 0857290177
ARI Id
1664099437503
Find on
This page has been accessed 4 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |