[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
B'98: Recent Advances in the Development and Use of the B Method
Език
Английски език
Английски език
Книга
С меки корици
The book presents 15 revised full papers selected from 29 submissions as well as four invited contri...
Цялото описание
Код Либристо: 05274823
?
164 b
164 b
128.23
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
34.50
лв
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.
Информация за книгата
Пълно заглавие
B'98: Recent Advances in the Development and Use of the B Method
Автор
Bert Didier
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
1998
Брой страници
320
Баркод
9783540644057
ISBN
3540644059
Код Либристо
05274823
Издателство
Springer, Berlin
Тегло
434
Размери
156 x 234 x 17
