Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods Teaching

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods Teaching Gustavo Carvalho
Libristo kód: 51764574
Nakladateľstvo Springer, Berlin, júl 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Celý popis
? points 135 b Nové Nové
55.84 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Top
Flow Mihaly Csikszentmihalyi / Kniha Brožovaná
common.buy 12.13 €
Nové
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Kniha Brožovaná
common.buy 17.29 €
Nové
Formación continua para empleados mayores: ¿una inversión sensata? / Kniha Brožovaná
common.buy 39.25 €
Nové
Formación interdisciplinaria / Kniha Brožovaná
common.buy 39.25 €
Nové
Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Kniha Brožovaná
common.buy 78.20 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods Teaching
Autor Gustavo Carvalho, Tsutomu Kobayashi
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2026
Počet strán 151
EAN 9783032267429
Libristo kód 51764574
Nakladateľstvo Springer, Berlin
Séria Lecture Notes in Computer Science
Váha 236
Rozmery 155 x 235

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Prirodzený jazyk a strojový preklad
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Aplikované výpočty > Počítačové aplikácie v sociálnych a behaviorálnych vedách
Výpočtové a informačné technológie > Počítačový hardvér
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Nové
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Kniha Brožovaná
common.buy 250.81 €
Pripravujeme Nové
Food Quality Analysis Sivanandham Vignesh / Kniha Pevná
common.buy 228.15 €
Pripravujeme Nové
Food Policy Councils Nessa J. Richman / Kniha Brožovaná
common.buy 52.40 €
Nové
Folate targeting Agnes F. Vandome / Kniha Brožovaná
common.buy 103.19 €
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 80.22 €
Nové
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Kniha Brožovaná
common.buy 75.27 €
Pripravujeme Nové
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Kniha Brožovaná
common.buy 57.86 €
Pripravujeme Nové
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Kniha Brožovaná
common.buy 103.29 €
Nové
Modelling and Mining Networks Fan Chung Graham / Kniha Brožovaná
common.buy 65.55 €
Pripravujeme Nové
Theory and Practice of Electronic Governance Olayinka David-West / Kniha Brožovaná
common.buy 75.97 €
Nové
Rigorous State-Based Methods Fuyuki Ishikawa / Kniha Brožovaná
common.buy 80.22 €
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 80.22 €
Pripravujeme Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 85.08 €
Pripravujeme Nové
Chatbots and Human-Centered AI Asbjørn Følstad / Kniha Brožovaná
common.buy 66.97 €
Nové
Structural Information and Communication Complexity Chryssis Georgiou / Kniha Brožovaná
common.buy 80.83 €
Pripravujeme Nové
Intelligent Human Computer Interaction Anshuman Shastri / Kniha Brožovaná
common.buy 75.97 €
Pripravujeme Nové
Intelligent Human Computer Interaction Anshuman Shastri / Kniha Brožovaná
common.buy 94.19 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet