Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods Teaching

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods Teaching Gustavo Carvalho
Koda Libristo: 51764574
Založba Springer, Berlin, julij 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Celoten opis
? points 129 b Novo Novo
53.26 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Novo
Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Knjiga Mehka
common.buy 73.72 €
Top
Flow Mihaly Csikszentmihalyi / Knjiga Mehka
common.buy 14.57 €
Novo
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Knjiga Mehka
common.buy 15.59 €
Novo
Formación continua para empleados mayores: ¿una inversión sensata? / Knjiga Mehka
common.buy 36.96 €
Novo
Formación interdisciplinaria / Knjiga Mehka
common.buy 36.96 €
(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA / Knjiga Mehka
common.buy 11.13 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods Teaching
Avtor Gustavo Carvalho, Tsutomu Kobayashi
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2026
Število strani 151
EAN 9783032267429
Koda Libristo 51764574
Založba Springer, Berlin
Serija Lecture Notes in Computer Science
Teža 236
Mere 155 x 235

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Novo
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Knjiga Mehka
common.buy 214.30 €
Kmalu Novo
Food Quality Analysis Sivanandham Vignesh / Knjiga Trda
common.buy 206.00 €
Novo
Folate targeting Agnes F. Vandome / Knjiga Mehka
common.buy 97.22 €
Kmalu Novo
Food Policy Councils Nessa J. Richman / Knjiga Mehka
common.buy 49.92 €
Kmalu Novo
Intelligent Human Computer Interaction Anshuman Shastri / Knjiga Mehka
common.buy 68.66 €
Novo
Modelling and Mining Networks Fan Chung Graham / Knjiga Mehka
common.buy 62.58 €
Kmalu Novo
Theory and Practice of Electronic Governance Olayinka David-West / Knjiga Mehka
common.buy 68.66 €
Novo
Rigorous State-Based Methods Fuyuki Ishikawa / Knjiga Mehka
common.buy 76.46 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Knjiga Mehka
common.buy 76.46 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Knjiga Mehka
common.buy 80.91 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Knjiga Mehka
common.buy 76.46 €
Kmalu Novo
Chatbots and Human-Centered AI Asbjørn Følstad / Knjiga Mehka
common.buy 60.46 €
Novo
Structural Information and Communication Complexity Chryssis Georgiou / Knjiga Mehka
common.buy 80.91 €
Kmalu Novo
Intelligent Human Computer Interaction Anshuman Shastri / Knjiga Mehka
common.buy 85.07 €
Kmalu Novo
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Knjiga Mehka
common.buy 93.27 €
Kmalu Novo
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Knjiga Mehka
common.buy 52.25 €
Novo
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Knjiga Mehka
common.buy 71.80 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?