[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Formal Methods in Software and Systems Modeling
Език
Английски език
Английски език
Книга
С меки корици
By presenting state-of-the-art research results on various aspects of formal and visual modeling of...
Цялото описание
Код Либристо: 01560339
?
164 b
164 b
128.20
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.§The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
Информация за книгата
Пълно заглавие
Formal Methods in Software and Systems Modeling
Автор
H. Kreowski, Ugo Montanari, Fernando Orejas
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2005
Брой страници
420
Баркод
9783540249368
ISBN
3540249362
Код Либристо
01560339
Тегло
1380
Размери
155 x 235 x 25
Категории
Computing & Information Technology
>
Computer science
>
Mathematical theory of computation
>
Maths for computer scientists
Computing & Information Technology
>
Computer science
>
Human–computer interaction
>
User interface design & usability
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
