Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- 69٫99 US$
-
- 69٫99 US$
وصف الناشر
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec# programming and verification system, multi-core chip design and much more.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٠
٩ مايو
اللغة
EN
الإنجليزية
عدد الصفحات
١٩٦
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
١٫٩
م.ب.