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

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking, Synthesis, and Learning Wang Yi
Код Либристо: 38348905
Издателство Springer Nature Switzerland AG, ноември 2021
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers w... Цялото описание
? points 171 b
70.63 €
138.13  лв
Външен склад Изпращаме след 5-8 дни

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

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

Die wichtigsten Schlachten, Belagerungen und verschanzten Lager vom Jahre 1708 bis 1855 G. Wittje / Книга С меки корици
common.buy 44.27 € 86.59 лв
Подготвяме
PORTFOLIO N°5 / Книга С твърди корици
common.buy 32.18 € 62.95 лв
Los Zombies No Existen, ?O Si? (Zombies Don't Exist, or Do They?) Katia Ost / Книга С меки корици
common.buy 10.17 € 19.90 лв
Der Leseprofi - Arbeitsheft / Klasse 5 Ulrike Stolz / Книга С меки корици
common.buy 17.82 € 34.85 лв
romantische Geschichten erzählt von Rudi Friedrich Rudolf Friedrich / Книга С меки корици
common.buy 19.99 € 39.10 лв
Irgendwann kommen sie und holen mich ab Armin Sengbusch / Книга С меки корици
common.buy 7.80 € 15.25 лв
Suez-Kanal und seine kommerzielle Bedeutung, besonders fur Deutschland Wilhelm Zenker / Книга С меки корици
common.buy 19.01 € 37.18 лв
Královská hra 5 Hitori Renda / Книга С меки корици
common.buy 7.90 € 15.45 лв
CANTI CARINTHIAE GUITARE GUENTHER MITTERGRADN Печатни материали Ноти
common.buy 18.80 € 36.77 лв
60 ans, un nouveau cap Grevedon / Книга С меки корици
common.buy 21.49 € 42.03 лв
Lemurien Frank Joseph / Книга С твърди корици
common.buy 22.42 € 43.85 лв
Soubor značek a číslic / Печатни материали Карти
common.buy 1.08 € 2.11 лв
Grosssteingraber und Feldsteinkirchen Olaf Jentzsch / Книга С меки корици
common.buy 17.10 € 33.44 лв
Musee Feminin: Galeries Illustrees Des Femmes Celebres Tome 2 Blanpain-N / Книга С меки корици
common.buy 27.22 € 53.25 лв
Recuerdos de la juventud. Mis dos viajes a Ame rica. Emilio Alcala Galiano / Книга С меки корици
common.buy 22.94 € 44.86 лв
Politische Korruption Walter Schmidt / Книга С меки корици
common.buy 72.43 € 141.67 лв
Contes Choisis, Edition Revue Pour La Jeunesse KIPLING-R / Книга С меки корици
common.buy 20.25 € 39.60 лв
LA GRAN DEPRESIÓN DEL SIGLO XX ROBBINS / Книга С твърди корици
common.buy 33.99 € 66.48 лв
Souvenirs Des Zouaves Pontificaux, 1861-1862. Tome 1 LE CHAUFF DE KERGUEN / Книга С меки корици
common.buy 29.14 € 56.98 лв
Berlin oder Juste Milieu Carl Sternheim / Книга С твърди корици
common.buy 16.06 € 31.42 лв
Las Fiestas Judias y la Iglesia: Los hermosos simbolismos de la Biblia Cristo Revelado Sr Fernando Regnault / Книга С меки корици
common.buy 7.54 € 14.74 лв
Alte Meister für Sopran-/Altblockflöte und Klavier/Orgel. Ancient Masters Franz Kanefzky / Книга Лист
common.buy 17.92 € 35.06 лв

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.

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

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

Пълно заглавие Model Checking, Synthesis, and Learning
Автор Wang Yi, Bernhard Steffen
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2021
Брой страници 219
Баркод 9783030913830
ISBN 303091383X
Код Либристо 38348905
Издателство Springer Nature Switzerland AG
Тегло 361
Размери 155 x 235 x 13

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Beginners' Guide to Scanning Electron Microscopy Anwar UL-Hamid / Книга С меки корици
common.buy 116.82 € 228.47 лв
Kick Off! A Football Puzzle Book Clive Gifford / Книга С меки корици
common.buy 9.30 € 18.18 лв
On With the Show Rob Scotton / Книга С меки корици
common.buy 6.45 € 12.62 лв
Ruth First and Joe Slovo in the War Against Apartheid Alan Wieder / Книга С твърди корици
common.buy 108.86 € 212.91 лв
Symbolic Interactionism in the Gospel According to John Elia Shabani Mligo / Книга С меки корици
common.buy 15.03 € 29.40 лв
The Life of Saint Augustine: A Translation of the Sancti Augustini Vita by Possidius, Bishop of Calama Possidius / Книга С меки корици
common.buy 19.11 € 37.38 лв
Free To Be Ruth Bader Ginsburg Teri Kanefield / Книга С меки корици
common.buy 17.82 € 34.85 лв
Married and Broken; Divorced and Whole! Paula Cook Kilcrease / Книга С меки корици
common.buy 14.88 € 29.09 лв
Great U.S. Drama Films SCOTT V. PALMER / Книга С твърди корици
common.buy 63.75 € 124.69 лв
Playing for Keeps Warren Goldstein / Книга С твърди корици
common.buy 70.47 € 137.83 лв
Culture of Connectivity Jose van Dijck / Книга С твърди корици
common.buy 168.90 € 330.34 лв
Cultural Competency for Emergency and Crisis Management Claire Connolly Knox / Книга С меки корици
common.buy 66.85 € 130.75 лв
Crochet Hacking Emma Friedlander-Collins / Книга С меки корици
common.buy 17.98 € 35.16 лв
Illuminatista: Homo Sapiens: The Wisdom of Dr. Julie Williams, In Over 1,234 Crazy Statements Julie Williams / Книга С меки корици
common.buy 10.33 € 20.20 лв
Prisons and Prisoners Joseph Adshead / Книга С меки корици
common.buy 32.34 € 63.25 лв
Treasures of Encouragement: Women Helping Women / Книга С меки корици
common.buy 19.63 € 38.39 лв
Byker Sirkka-Liisa Konttinen / Книга С твърди корици
common.buy 50.47 € 98.72 лв
Sex, Botany and Empire (Icon Science) Patricia Fara / E-книга Adobe ePub DRM
common.buy 7.74 € 15.15 лв
Midnight Book Club Jeremy Bates / E-книга Adobe ePub DRM
common.buy 1.34 € 2.62 лв
Caddisflies Glenn B. Wiggins / Книга С твърди корици
common.buy 221.34 € 432.90 лв
Well Done Sam! ELT Edition Tony Bradman / Книга С меки корици
common.buy 4.64 € 9.08 лв
Predictive Modeling and Risk Assessment Rui Costa / Книга С твърди корици
common.buy 119.50 € 233.73 лв
Get Off Your Arse and Grab that New Job Steve Miller / Книга С меки корици
common.buy 18.13 € 35.46 лв
Decline and Fall of Europe Francesco M. Bongiovanni / Книга С твърди корици
common.buy 61.07 € 119.44 лв

Вход

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

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

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

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

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