Rigorous Software Development : An Introduction to Program Verification /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Londres, Inglaterra :
Springer,
2011, c2011
|
| Serie: | (Undergraduate Topics in Computer Science)
|
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: 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 /