Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, červenec 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Celý popis
? points 118 b Nové Nové
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Nové
Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Kniha Brožovaná
common.buy 1 782 Kč
Flow Mihaly Csikszentmihalyi / Kniha Brožovaná
common.buy 316 Kč
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Kniha Brožovaná
common.buy 418 Kč
Formación continua para empleados mayores: ¿una inversión sensata? / Kniha Brožovaná
common.buy 893 Kč
Formación interdisciplinaria / Kniha Brožovaná
common.buy 893 Kč
(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA / Kniha Brožovaná
common.buy 305 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods Teaching
Autor Gustavo Carvalho, Tsutomu Kobayashi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2026
Počet stran 151
EAN 9783032267429
Libristo kód 51764574
Nakladatelství Springer, Berlin
Série Lecture Notes in Computer Science
Váha 236
Rozměry 155 x 235

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Umělá inteligence > Přirozený jazyk a strojový překlad
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Aplikované výpočty > Počítačové aplikace v sociálních a behaviorálních vědách
Výpočetní a informační technologie > Počítačový hardware
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Nové
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Kniha Brožovaná
common.buy 5 178 Kč
Připravujeme Nové
Food Quality Analysis Sivanandham Vignesh / Kniha Pevná
common.buy 5 518 Kč
Folate targeting Agnes F. Vandome / Kniha Brožovaná
common.buy 2 350 Kč
Nové
Food Policy Councils Nessa J. Richman / Kniha Brožovaná
common.buy 1 226 Kč
Nové
Intelligent Human Computer Interaction Anshuman Shastri / Kniha Brožovaná
common.buy 1 557 Kč
Nové
Modelling and Mining Networks Fan Chung Graham / Kniha Brožovaná
common.buy 1 370 Kč
Připravujeme Nové
Theory and Practice of Electronic Governance Olayinka David-West / Kniha Brožovaná
common.buy 1 838 Kč
Nové
Rigorous State-Based Methods Fuyuki Ishikawa / Kniha Brožovaná
common.buy 1 746 Kč
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 1 746 Kč
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 1 746 Kč
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 1 746 Kč
Připravujeme Nové
Chatbots and Human-Centered AI Asbjørn Følstad / Kniha Brožovaná
common.buy 1 619 Kč
Nové
Structural Information and Communication Complexity Chryssis Georgiou / Kniha Brožovaná
common.buy 1 746 Kč
Nové
Intelligent Human Computer Interaction Anshuman Shastri / Kniha Brožovaná
common.buy 1 934 Kč
Nové
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Kniha Brožovaná
common.buy 2 122 Kč
Nové
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Kniha Brožovaná
common.buy 1 350 Kč
Nové
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Kniha Brožovaná
common.buy 1 557 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?