Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods Teaching

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods Teaching Gustavo Carvalho
Libristo kod: 51764574
Nakladnici Springer, Berlin, srpanj 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Cijeli opis
? points 135 b Novo Novo
55.89 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods Teaching
Autor Gustavo Carvalho, Tsutomu Kobayashi
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2026
Broj stranica 151
EAN 9783032267429
Libristo kod 51764574
Nakladnici Springer, Berlin
Serija Lecture Notes in Computer Science
Težina 236
Dimenzije 155 x 235

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Novo
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Knjiga Meki uvez
common.buy 226.51 €
Pripremamo Novo
Food Quality Analysis Sivanandham Vignesh / Knjiga Tvrdi uvez
common.buy 217.10 €
Novo
Folate targeting Agnes F. Vandome / Knjiga Meki uvez
common.buy 103.28 €
Pripremamo Novo
Food Policy Councils Nessa J. Richman / Knjiga Meki uvez
common.buy 52.44 €
Pripremamo Novo
Intelligent Human Computer Interaction Anshuman Shastri / Knjiga Meki uvez
common.buy 72.39 €
Novo
Modelling and Mining Networks Fan Chung Graham / Knjiga Meki uvez
common.buy 65.61 €
Pripremamo Novo
Theory and Practice of Electronic Governance Olayinka David-West / Knjiga Meki uvez
common.buy 72.39 €
Novo
Rigorous State-Based Methods Fuyuki Ishikawa / Knjiga Meki uvez
common.buy 80.29 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Knjiga Meki uvez
common.buy 80.29 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Knjiga Meki uvez
common.buy 84.65 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Knjiga Meki uvez
common.buy 80.29 €
Pripremamo Novo
Chatbots and Human-Centered AI Asbjørn Følstad / Knjiga Meki uvez
common.buy 63.68 €
Novo
Structural Information and Communication Complexity Chryssis Georgiou / Knjiga Meki uvez
common.buy 84.65 €
Pripremamo Novo
Intelligent Human Computer Interaction Anshuman Shastri / Knjiga Meki uvez
common.buy 89.61 €
Novo
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Knjiga Meki uvez
common.buy 99.73 €
Pripremamo Novo
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Knjiga Meki uvez
common.buy 55.08 €
Novo
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Knjiga Meki uvez
common.buy 75.33 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?