Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.
Specificaties
| ISBN/EAN | 9783642130090 |
| Auteur | Peter Muller |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 189 |
| Lengte | |
| Breedte |