Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Model Checking Abstract State Machines

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Abstract State Machines Kirsten Winter
Код Либристо: 06811808
Издателство VDM Verlag Dr. Mueller E.K., май 2008
The benefits of formal methods have been discussed many timesin the literature. Production costs can... Цялото описание
? points 199 b
82.03 €
160.43  лв
Външен склад Изпращаме след 9-15 дни

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

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

Top
Schweizerdeutsch leicht gemacht - Aufgabenband 2 Verena Schorn / Книга С меки корици
common.buy 20.04 € 39.19 лв
Chroniques d'une intranquillité Marguerin / Книга С меки корици
common.buy 25.10 € 49.09 лв
Continuum parodontal et orthodontique : une approche synergique Shilpa Duseja / Книга С меки корици
common.buy 75.21 € 147.09 лв
La Lumière dans les combles Cameron / Книга С меки корици
common.buy 24.53 € 47.98 лв
La France Sous Louis XV, 1723-1774... Henri Carre / Книга С меки корици
common.buy 21.23 € 41.51 лв
Die Schlacht Bei Grodek-Lemberg, Juni 1915 (1918) Hermann Muller-Brandenburg / Книга С меки корици
common.buy 21.23 € 41.51 лв
Acoso Laboral En La Legislacion Venezolana Nohelia Yaneth Alfonzo Villegas / Книга С меки корици
common.buy 33.99 € 66.47 лв
Erste Englische Lesebuch fur Medizinische Fachangestellte Audiolego / Книга С меки корици
common.buy 23.24 € 45.45 лв
Les Comptoirs Francais de l'Afrique Orientale Sans Auteur / Книга С меки корици
common.buy 13.68 € 26.76 лв
Advent im Dorf-Musik zur Weihnachtszeit Ensembles D. Musikkapelle Hatting U. Dem / Аудио Аудио компактдиск
common.buy 18.54 € 36.26 лв

The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors can be detected in an early phase of design. Accidents,involving major damage and even loss of lives, can be avoided ifsystems are working correctly. Nevertheless, the use of formalmethods is limited in practice since the trade-off betweenproductivity and reliability is still too large. This work aims atimproving the applicability of the formal approach. To be ofpractical relevance in the future formal system development mustprovide support for modelling and analysis. Currently, however,there is a discrepancy between tools that are easy to use due toautomation and languages that nicely support the modelling task. Itis necessary to bridge this gap. This work contributes with asolution for a particular formal language and a particular kind oftool support for verification. The title ``Model Checking AbstractState Machines\" summarises the results.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Model Checking Abstract State Machines
Автор Kirsten Winter
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 208
Баркод 9783639018912
ISBN 3639018915
Код Либристо 06811808
Издателство VDM Verlag Dr. Mueller E.K.
Тегло 286
Размери 152 x 229 x 11

Категории

Technology, Engineering, Agriculture > Mechanical engineering & materials > Mechanical engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Five One-act Plays & MP3 Pack Donn Byrne / Книга С меки корици
common.buy 11.62 € 22.72 лв
2025 Collins Big Road Atlas Britain and Northern Ireland Collins Maps / Книга Със спирала
common.buy 24.07 € 47.07 лв
Epoxy Resins; Their Applications and Technology Henry 1926- Lee / Книга С меки корици
common.buy 24.02 € 46.97 лв
Disorders of the Auditory System Frank E. Musiek / Книга С твърди корици
common.buy 212.31 € 415.24 лв
Fundamentals of Electronic Devices and Circuits Ashish Bagwari / Книга С твърди корици
common.buy 116.79 € 228.43 лв
Pearson REVISE Edexcel GCSE (9-1) Citizenship Revision Guide & Workbook Gareth Davies / Книга С твърди корици
common.buy 16.58 € 32.42 лв
Water for the Phalarope: Explorations in Museum Anthropology Lister Kenneth R. / Книга С меки корици
common.buy 19.26 € 37.68 лв
Exposition of Certaine Difficult and Obscure Wordes, and Termes of the Lawes of This Realme JOHN RASTELL / Книга С твърди корици
common.buy 48.60 € 95.06 лв
Concerning "Bully" Hayes Louis Becke / Книга С меки корици
common.buy 7.64 € 14.94 лв
Read Better!: For Adults and Teens Linda Schrock Taylor / Книга С меки корици
common.buy 21.12 € 41.31 лв
Big Band Standards for Females - Volume 1: Songs by the Divine One "Sassy" (Sarah Vaughan) Sarah Vaughan / Книга С твърди корици
common.buy 13.99 € 27.37 лв
Legendary Locals of Lowell Richard P. Howe / Книга С меки корици
common.buy 22.10 € 43.23 лв
Top
Why Nations Fail Daron Acemoglu / Книга С меки корици
common.buy 13.89 € 27.17 лв
West Coast Trail/Carmanah Valley / Печатни материали Карта
common.buy 20.86 € 40.81 лв
Cells in Ceramics Vicky Goralczyk / Книга С меки корици
common.buy 65.86 € 128.81 лв
Automated Protocol Data Analysis Valentin Shevchenko / Книга С меки корици
common.buy 52.53 € 102.74 лв
Psychosomatic Disorders in General Practice Boris Luban-Plozza / Книга С меки корици
common.buy 108.42 € 212.06 лв
Symbolic Foundations of Conditioned Behavior John Gibbon / Книга С твърди корици
common.buy 198.46 € 388.16 лв
Black Keys Black Keys / Книга С меки корици
common.buy 22.88 € 44.75 лв
Klaus Badelt KLAUS BADELT / Книга С меки корици
common.buy 13.99 € 27.37 лв
Fishing the Greenbrier Valley M. W. Smith / Книга С меки корици
common.buy 13.68 € 26.76 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?