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

Formal Methods Teaching

7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods Teaching Gustavo Carvalho
Код Либристо: 51764574
Издателство Springer, Berlin, юли 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Цялото описание
? points 148 b Нови Нови
61.14 €
119.58  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Top
Flow Mihaly Csikszentmihalyi / Книга С меки корици
common.buy 17.07 € 33.38 лв
Нови
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Книга С меки корици
common.buy 18.20 € 35.61 лв
Нови
Formación continua para empleados mayores: ¿una inversión sensata? / Книга С меки корици
common.buy 41.48 € 81.14 лв
Нови
Formación interdisciplinaria / Книга С меки корици
common.buy 41.48 € 81.14 лв
Нови
Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Книга С меки корици
common.buy 82.82 € 161.98 лв

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.

The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited talks in full paper length. The papers are organized into the following topical sections: Invited Talks; Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.

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

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

Пълно заглавие Formal Methods Teaching
Автор Gustavo Carvalho, Tsutomu Kobayashi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2026
Брой страници 151
Баркод 9783032267429
Код Либристо 51764574
Издателство Springer, Berlin
Серия Lecture Notes in Computer Science
Тегло 236
Размери 155 x 235

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Applied computing > Computer applications in the social & behavioural sciences
Computing & Information Technology > Computer hardware
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Нови
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Книга С меки корици
common.buy 263.10 € 514.59 лв
Подготвяме Нови
Food Quality Analysis Sivanandham Vignesh / Книга С твърди корици
common.buy 239.36 € 468.15 лв
Подготвяме Нови
Food Policy Councils Nessa J. Richman / Книга С меки корици
common.buy 54.83 € 107.24 лв
Нови
Folate targeting Agnes F. Vandome / Книга С меки корици
common.buy 109.25 € 213.68 лв
Нови
Public-Key Cryptography - PKC 2026 Shi Bai / Книга С меки корици
common.buy 87.73 € 171.59 лв
Нови
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Книга С меки корици
common.buy 82.40 € 161.17 лв
Подготвяме Нови
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Книга С меки корици
common.buy 60.68 € 118.67 лв
Подготвяме Нови
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Книга С меки корици
common.buy 108.32 € 211.86 лв
Нови
Modelling and Mining Networks Fan Chung Graham / Книга С меки корици
common.buy 71.80 € 140.43 лв
Подготвяме Нови
Theory and Practice of Electronic Governance Olayinka David-West / Книга С меки корици
common.buy 79.71 € 155.91 лв
Нови
Rigorous State-Based Methods Fuyuki Ishikawa / Книга С меки корици
common.buy 87.73 € 171.59 лв
Нови
Public-Key Cryptography - PKC 2026 Shi Bai / Книга С меки корици
common.buy 87.73 € 171.59 лв
Подготвяме Нови
Public-Key Cryptography - PKC 2026 Shi Bai / Книга С меки корици
common.buy 89.23 € 174.52 лв
Подготвяме Нови
Chatbots and Human-Centered AI Asbjørn Følstad / Книга С меки корици
common.buy 70.25 € 137.39 лв
Нови
Structural Information and Communication Complexity Chryssis Georgiou / Книга С меки корици
common.buy 84.58 € 165.42 лв
Подготвяме Нови
Intelligent Human Computer Interaction Anshuman Shastri / Книга С меки корици
common.buy 79.71 € 155.91 лв
Подготвяме Нови
Intelligent Human Computer Interaction Anshuman Shastri / Книга С меки корици
common.buy 98.80 € 193.24 лв

Вход

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

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

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

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

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