Gå direkt till innehållet
Advanced Lectures on Software Engineering
Spara

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.
Undertitel
LASER Summer School 2007/2008
Redaktör
Peter Müller
ISBN
9783642130090
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-05-20
Sidor
189