Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and...
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● ISBN 9783642608582 ● редактор Manfred Broy & Birgit Schieder ● издатель Springer Berlin Heidelberg ● опубликованный 2012 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6328846 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM