Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 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
81.51 €
159.42  лв
Външен склад Изпращаме след 14-21 дни

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

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

DisAbility in der Migrationsgesellschaft Anne Schröter / Книга С меки корици
common.buy 24.73 € 48.36 лв
RECURSOS PARA EL AULA ESPECIFICO. CLUB DE DETECTIVES. 5 AÑOS. CARPETA 3 (HACEMOS ESLAVA MONTERO / Книга Книга
common.buy 112.34 € 219.71 лв
Percevale: XI. Le Hic de l'alambic Anne de Gandt / E-книга Adobe ePub DRM
common.buy 3.02 € 5.90 лв
Das Atemsystem - Leben und Bewusstsein Rosina Sonnenschmidt / Книга С твърди корици
common.buy 30.11 € 58.90 лв
Continuum parodontal et orthodontique : une approche synergique Shilpa Duseja / Книга С меки корици
common.buy 74.60 € 145.90 лв
UN PEDO QUIEN HA SIDO HENSON / Книга Книга
common.buy 16.58 € 32.44 лв
Chroniques d'une intranquillité Marguerin / Книга С меки корици
common.buy 23.66 € 46.28 лв
Schweizerdeutsch leicht gemacht - Aufgabenband 2 Verena Schorn / Книга С меки корици
common.buy 19.86 € 38.85 лв
L'Architecte Numérique Michel Fotsing / Книга С меки корици
common.buy 33.34 € 65.21 лв
La Lumière dans les combles Cameron / Книга С меки корици
common.buy 23.04 € 45.06 лв
La France Sous Louis XV, 1723-1774... Henri Carre / Книга С меки корици
common.buy 21.05 € 41.17 лв
Die Schlacht Bei Grodek-Lemberg, Juni 1915 (1918) Hermann Muller-Brandenburg / Книга С меки корици
common.buy 21.05 € 41.17 лв
Ex zurück gewinnen: Wie Sie in 7 Schritten Ihren Ex-Partner zurückgewinnen und die Beziehung retten oder Ihren Liebeskummer überwinden Paul Norris / Книга С меки корици
common.buy 9.63 € 18.82 лв
Acoso Laboral En La Legislacion Venezolana Nohelia Yaneth Alfonzo Villegas / Книга С меки корици
common.buy 33.69 € 65.89 лв
Erste Englische Lesebuch fur Medizinische Fachangestellte Audiolego / Книга С меки корици
common.buy 21.14 € 41.35 лв
Champagnepigen Leonora Christina Skov / Книга С меки корици
common.buy 34.67 € 67.82 лв
Les Comptoirs Francais de l'Afrique Orientale Sans Auteur / Книга С меки корици
common.buy 13.56 € 26.53 лв
Advent im Dorf-Musik zur Weihnachtszeit Ensembles D. Musikkapelle Hatting U. Dem / Аудио Аудио компактдиск
common.buy 18.33 € 35.86 лв

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 Книгата ще пристигне на адреса на получателя

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

Water for the Phalarope: Explorations in Museum Anthropology Lister Kenneth R. / Книга С меки корици
common.buy 23.51 € 45.98 лв
Legendary Locals of Lowell Richard P. Howe / Книга С меки корици
common.buy 22.32 € 43.65 лв
Encyclopaedia of Islam - Three 2015-3 Kate Fleet / Книга С меки корици
common.buy 183.84 € 359.55 лв
Gypsy Woman Words Jenean Gilstrap / Книга С меки корици
common.buy 12.95 € 25.34 лв
Read Better!: For Adults and Teens Linda Schrock Taylor / Книга С меки корици
common.buy 20.95 € 40.97 лв
Top
Why Nations Fail Daron Acemoglu / Книга С меки корици
common.buy 13.77 € 26.93 лв
A Sheaf of Verses: Poems Marguerite Radclyffe-Hall / Книга С меки корици
common.buy 10.65 € 20.83 лв
Exposition of Certaine Difficult and Obscure Wordes, and Termes of the Lawes of This Realme JOHN RASTELL / Книга С твърди корици
common.buy 48.18 € 94.23 лв
Chronomics and Continuous Ambulatory Blood Pressure Monitoring Kuniaki Otsuka / Книга С меки корици
common.buy 147.31 € 288.11 лв
Concerning "Bully" Hayes Louis Becke / Книга С меки корици
common.buy 7.58 € 14.82 лв
Model Based Learning and Instruction in Science John Clement / Книга С меки корици
common.buy 107.52 € 210.29 лв
Pearson REVISE Edexcel GCSE (9-1) Citizenship Revision Guide & Workbook Gareth Davies / Книга С твърди корици
common.buy 16.38 € 32.04 лв
Fundamentals of Electronic Devices and Circuits Ashish Bagwari / Книга С твърди корици
common.buy 115.82 € 226.52 лв
Disorders of the Auditory System Frank E. Musiek / Книга С твърди корици
common.buy 188.68 € 369.03 лв
The Chris: , The Evidence Of His Divinity Reviewed From The Standpoint Of A Lawyer (1917) Thomas Jefferson Jerome / Книга С меки корици
common.buy 28.53 € 55.79 лв
Epoxy Resins; Their Applications and Technology Henry 1926- Lee / Книга С меки корици
common.buy 27.66 € 54.09 лв
2025 Collins Big Road Atlas Britain and Northern Ireland Collins Maps / Книга Със спирала
common.buy 23.81 € 46.58 лв
Candace, the Universe, and Everything SMITH SHERRI L / Книга С твърди корици
common.buy 14.90 € 29.13 лв
A Prescription for Caring in Healthcare Leadership Joshua Hartzell / Книга С меки корици
common.buy 23.75 € 46.46 лв
Heart of Thorns Nicolette Andrews / Книга С меки корици
common.buy 19.30 € 37.74 лв
Automated Protocol Data Analysis Valentin Shevchenko / Книга С меки корици
common.buy 51.81 € 101.34 лв
Photodermatology, An Issue of Dermatologic Clinics Henry Lim / Книга С твърди корици
common.buy 107.83 € 210.90 лв
Five One-act Plays & MP3 Pack Donn Byrne / Книга С меки корици
common.buy 11.52 € 22.52 лв
I, Human John Nelson / Книга С меки корици
common.buy 14.84 € 29.03 лв

Вход

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

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

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

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

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