Gå direkte til innholdet
Advanced Lectures on Software Engineering
Spar

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.
Undertittel
LASER Summer School 2007/2008
Redaktør
Peter Müller
ISBN
9783642130090
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
20.5.2010
Antall sider
189