info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Formal Methods and Software Engineering

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Jim Davies
Код Либристо: 01560067
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Цялото описание
? points 324 b
252 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

TOP
Egyptology Wayne Anderson / С твърди корици
common.buy 56 лв
Génius i popleta Denise Fenziová / С твърди корици
common.buy 22 лв
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / С твърди корици
common.buy 36 лв
European Renaissance 1400-1600 Robin Kirkpatrick / С меки корици
common.buy 137 лв
Stressed Composite Structures Alexander G. Kolpakov / С твърди корици
common.buy 252 лв
The Power of Choices Tracy A. Medling / С меки корици
common.buy 23 лв
Talking to God Thomas L Constable / С меки корици
common.buy 47 лв
Clinical Problem of Masochism Deanna Holtzman / С твърди корици
common.buy 289 лв
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / С меки корици
common.buy 92 лв
New Houses in Asia Publishing Images / С твърди корици
common.buy 84 лв
Computer Chemistry Ivar Ugi / С меки корици
common.buy 128 лв
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / С меки корици
common.buy 139 лв
Corporate Environmental Strategy and Competitive Advantage Sanjay Sharma / С твърди корици
common.buy 302 лв
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / С меки корици
common.buy 79 лв
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period W. K. C. Guthrie / С твърди корици
common.buy 588 лв
Global Sport Marketing / С твърди корици
common.buy 441 лв

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

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

Пълно заглавие Formal Methods and Software Engineering
Автор Jim Davies, Wolfram Schulte, Mike Barnett
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 500
Баркод 9783540238416
ISBN 3540238417
Код Либристо 01560067
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1590
Размери 155 x 235 x 28

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo