Siirry suoraan sisältöön
Advanced Lectures on Software Engineering
Tallenna

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.
Alaotsikko
LASER Summer School 2007/2008
Toimittaja
Peter Müller
ISBN
9783642130090
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
20.5.2010
Sivumäärä
189