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

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Dragan Bosnacki
Код Либристо: 02961433
Издателство Springer International Publishing AG, април 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Agility Kompakt Peter Hruschka / Книга С меки корици
common.buy 22.31 € 43.63 лв
Ositos de peluche adorables libro para colorear 2 Nick Snels / Книга С меки корици
common.buy 10.35 € 20.24 лв
Match Jones Bolt / Книга С твърди корици
common.buy 30.54 € 59.73 лв
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Книга С меки корици
common.buy 13.87 € 27.13 лв
Les Breves de Fin du Monde Noyé / Книга С меки корици
common.buy 9.83 € 19.23 лв
Destruidor - Parte Nove Sky Corgan / E-книга Adobe ePub DRM
common.buy 1.03 € 2.01 лв
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Книга С меки корици
common.buy 41.52 € 81.20 лв
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Книга С меки корици
common.buy 22.15 € 43.33 лв
LEGO® City Joyeux Noël AMEET Studio / Книга Книга
common.buy 12.47 € 24.39 лв
Postkarten-Set George Barbier George Barbier / Книга С меки корици
common.buy 5.90 € 11.53 лв
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Книга С меки корици
common.buy 12.73 € 24.90 лв
Legendes de Noel M G Lenotre / Книга С меки корици
common.buy 18.58 € 36.34 лв
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Книга С меки корици
common.buy 6.21 € 12.14 лв
Ajeduca 4. Escobar Domínguez / Книга С меки корици
common.buy 14.03 € 27.43 лв
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Книга С меки корици
common.buy 34.53 € 67.53 лв
CUARTO MOSQUETERO, EL Riccardo Freda / Книга С меки корици
common.buy 12.58 € 24.60 лв
Moutons Et Colons En Patagonie Fernando Coronato / Книга С меки корици
common.buy 99.82 € 195.22 лв
Ursprachlehre Friedrich Schmitthenner / Книга С твърди корици
common.buy 108.26 € 211.73 лв
Psychologische Typen Carl G. Jung / Книга С меки корици
common.buy 63.32 € 123.83 лв
François Truffaut Robert Ingram / Книга С твърди корици
common.buy 15.53 € 30.37 лв

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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

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

Пълно заглавие Model Checking Software
Автор Dragan Bosnacki, Anton Wijs
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 245
Баркод 9783319325811
ISBN 3319325817
Код Либристо 02961433
Издателство Springer International Publishing AG
Тегло 4044
Размери 155 x 235 x 235

Категории

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Книга С твърди корици
common.buy 108.67 € 212.54 лв
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Книга С меки корици
common.buy 12.99 € 25.41 лв
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Книга С меки корици
common.buy 8.54 € 16.70 лв
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Книга С меки корици
common.buy 15.63 € 30.57 лв
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Книга С меки корици
common.buy 15.73 € 30.77 лв
The Darkest King: William's Story Gena Showalter / Книга С меки корици
common.buy 9.31 € 18.22 лв
Shadow Lost D K Holmberg / Книга С меки корици
common.buy 13.09 € 25.61 лв
Performances of Injustice Gabrielle (University of Warwick) Lynch / Книга С твърди корици
common.buy 78.02 € 152.59 лв
Missouri Birds James Kavanagh / Книга С меки корици
common.buy 9.21 € 18.01 лв
Top
The Architect's Apprentice Elif Shafak / Книга С меки корици
common.buy 14.28 € 27.94 лв
Modern Feminist Theory Jennifer Rich / Книга С меки корици
common.buy 15.53 € 30.37 лв
Alcoholism Ernest Holmes / Книга С меки корици
common.buy 9.31 € 18.22 лв
The Cheyenne Pool Lewis B Patten / Книга С твърди корици
common.buy 41.16 € 80.49 лв
Mediterranean Ecosystems G. Spezie / Книга С меки корици
common.buy 217.04 € 424.48 лв
Roman Catholic Modernists Confront the Great War C. Talar / Книга С твърди корици
common.buy 61.14 € 119.58 лв
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Книга С твърди корици
common.buy 36.39 € 71.18 лв
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Книга С меки корици
common.buy 14.91 € 29.15 лв
Bears Don't Read! Emma Chichester Clark / Книга С твърди корици
common.buy 15.68 € 30.67 лв
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Книга С твърди корици
common.buy 140.77 € 275.32 лв
Top Нови
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Книга С твърди корици
common.buy 39.45 € 77.15 лв
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Книга С меки корици
common.buy 108.67 € 212.54 лв
Wiel Arets - Bas Princen John Bezold / Книга С твърди корици
common.buy 97.69 € 191.07 лв

Вход

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

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

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

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

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