Advanced Lectures On Software Engineering
Laser Summer School 2007/2008
- EAN:
9783642130090
- ISBN:
3642130097
- Pagine:
- 189
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Advanced Lectures On Software Engineering
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.
Prodotto momentaneamente non disponibile
Inserisci la tua e-mail per essere informato appena il libro sarà disponibile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti