Rigorous Software Development : An Introduction to Program Verification /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
Londres, Inglaterra :
Springer,
2011, c2011
|
| Colecção: | (Undergraduate Topics in Computer Science)
|
| Acesso em linha: | Ver documento en línea |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados: Rigorous Software Development :
- Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers /
- Rigorous Development of Complex Fault-Tolerant Systems /
- Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
- Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /
- Rigores y atrevimientos : narrativa y ensayo del Helénico IV /
- Rigor in the RTI and MTSS Classroom : Practical Tools and Strategies /