Проверка на състоянието на поръчката
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€

Understanding Behaviour of Distributed Systems Using mCRL2

Език Английски езикАнглийски език
Книга С меки корици
Книга Understanding Behaviour of Distributed Systems Using mCRL2 Muhammad Atif
Код Либристо: 44750718
Издателство Springer, Berlin, март 2024
This book helps readers easily learn basic model checking by presenting examples, exercises and case... Цялото описание
? points 472 b
195.19 €
381.76  лв
Външен склад Изпращаме след 8-11 дни

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

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

ESCUELA DE RATONES !DE EXCURSIÓN A LA CIUDAD! AGNES MATHIEU-DAUDE / Книга С меки корици
common.buy 18.82 € 36.81 лв
Glücksorte in Krefeld Torsten Weiler / Книга С меки корици
common.buy 15.82 € 30.94 лв
Herbstnacht Uwe Siebert / Книга С меки корици
common.buy 12.46 € 24.37 лв
GRUPO ADMINISTRATIVO FUNCION ADMINISTRATIVA DEL SERVICIO 7 EDITORES / Книга С меки корици
common.buy 36.30 € 71.00 лв
Moralistes Des Seizieme Et Dix-Septieme Siecles (Ed.1859) Alexandre Vinet / Книга С меки корици
common.buy 26.68 € 52.19 лв
Pisanie zmazywanie mini literki cyferki / Аудио Аудио
common.buy 3.05 € 5.96 лв
Campus Sur / Книга С меки корици
common.buy 46.18 € 90.32 лв
Sekrety najwiekszych zamachow XX wieku Szlachetko / Аудиокнига MP3
common.buy 7.65 € 14.96 лв
Flawless - Hibátlan Elsie Silver / Книга С меки корици
common.buy 16.65 € 32.56 лв

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

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

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

Пълно заглавие Understanding Behaviour of Distributed Systems Using mCRL2
Автор Muhammad Atif, Jan Friso Groote
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2024
Брой страници 235
Баркод 9783031230103
Код Либристо 44750718
Издателство Springer, Berlin
Тегло 434
Размери 155 x 235

Категории

Computing & Information Technology > Computer science > Computer modelling & simulation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Hip Arthroplasty Mrinal Sharma / Книга С твърди корици
common.buy 244.22 € 477.66 лв
Slouching Toward Nirvana Charles Bukowski / Книга С меки корици
common.buy 17.17 € 33.57 лв
SW CATALYST A ROGUE ONE NOVEL LUCENO JAMES / Книга С меки корици
common.buy 14.27 € 27.91 лв
Polin: Studies in Polish Jewry Volume 36 – Jewish Childhood in Eastern Europe Natalia Aleksiun / Книга С меки корици
common.buy 63.82 € 124.82 лв
The Illumination Codex Michael James Garber / Книга С твърди корици
common.buy 39.25 € 76.77 лв
Staff Engineer's Path Tanya Reilly / Книга С меки корици
common.buy 34.86 € 68.17 лв
Top
Sonic the Hedgehog: Imposter Syndrome Thomas Rothlisberger / Книга С меки корици
common.buy 12.87 € 25.18 лв
Acting with Power Deborah Gruenfeld / Книга С меки корици
common.buy 14.89 € 29.12 лв
Americans and Queen Marie of Romania Diana Fotescu / Книга С меки корици
common.buy 27.51 € 53.81 лв
Top
Headway: Upper-Intermediate: Workbook with key Liz Soars / Книга С меки корици
common.buy 15.67 € 30.64 лв
Diplomat's Daughter Karin Tanabe / Книга С меки корици
common.buy 14.27 € 27.91 лв
Boundary Elements VIII Masataka Tanaka / Книга С меки корици
common.buy 54.41 € 106.41 лв
Running Scared John L. Smith / Книга С меки корици
common.buy 17.17 € 33.57 лв
Lula, the Workers' Party and the Governability Dilemma in Brazil Hernan F. Gomez Bruera / Книга С твърди корици
common.buy 235.02 € 459.65 лв
Breweries and Maltings George Scamell / Книга С твърди корици
common.buy 31.96 € 62.51 лв
Into the Woods: Trees in Photography Martin Barnes / Книга С твърди корици
common.buy 32.99 € 64.53 лв
Diamond on The Wall Lawrence T Vosen Ph D / Книга С меки корици
common.buy 7.60 € 14.86 лв
Filipina Girls & the Dark Art of Seduction: What Asian Women Want Lance Hammer / Книга С меки корици
common.buy 8.53 € 16.68 лв
Highlander's Warrior Bride Eliza Knight / Книга С меки корици
common.buy 13.24 € 25.89 лв
Systems Engineering for Automotive Powertrain Development Hannes Hick / Книга С твърди корици
common.buy 583.57 € 1 141.36 лв

Вход

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

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

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

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

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