Menu
Виж статуса на поръчката
Свържете се с нас
Книга Formal Aspects of Component Software Farhad Arbab

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Автор: Farhad Arbab, Peter Csaba Ölveczky
Език: Английски език
Корици: С меки корици
Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.65 € 102.98 лв
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of...

Информация за книгата

Автор
Farhad Arbab, Peter Csaba Ölveczky
Език
Английски език
Корици
Книга - С меки корици
Издадена
2012
страници
369
EAN
9783642357428
ISBN
3642357423
Enbook ID
01662882
Издател
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Теглоt
581
Размери
155 x 235 x 21

Пълно описание

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. §The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.

Може също да ви хареса

Inside Japanese Ceramics

Richard Wilson
27.23 € 53.25 лв

Brain Injury Survivors

Laura S. Lorenz
30.03 € 58.73 лв

Luck of the Horseman

Bill Gallaher
12.26 € 23.98 лв

Heat Pumps

Walter Grassi
113.17 € 221.34 лв

English Ages 7-8

Catherine Casey
11.91 € 23.29 лв

Past Tense

Lee Child
28.58 € 55.89 лв

MOLECULAR DOCKING STUDIES FOR THE THERAPEUTICS OF COVID19

Kirti Shamra
50.15 € 98.09 лв

Numerical Heat Transfer and Fluid Flow 2021

Artur Bartosik
57.56 € 112.58 лв

Principles of Catholic Theology, Book 5

Thomas Joseph White
39.14 € 76.55 лв

Клиенти, които купиха тази книга, купиха също

Het Leeskabinet, Volumes 1-2...

Johan Gram
26.02 € 50.90 лв

Brèves de comptoir - tome 1

Jean-Marie Gourio
31.93 € 62.45 лв

12 papierových kamarátov zo sveta zvierat Divočina

4.85 € 9.49 лв

Culture, savoirs et sociétés dans l'Antiquité

Sartre
15.01 € 29.36 лв