Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

phone

Kontakt

phone

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

0

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Knjiga Formal Methods Teaching Gustavo Carvalho

Formal Methods Teaching

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

Gustavo Carvalho

Tsutomu Kobayashi

Jezik

Anglešč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

Koda Libristo: 51764574

?

points

118 b

Novo

Novo

48.57 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Fondamenti di biotecnologia microbica Uttamkumar S. Bagde

/

Mehka

73.21 €

Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci

/

Mehka

15.28 €

Formación continua para empleados mayores: ¿una inversión sensata?

/

Mehka

36.71 €

Formación interdisciplinaria

/

Mehka

36.71 €

L'ANNEE SANS ETE T 01 LES FIANCAILLES AU BERCEAU LEMIEUX JULIE Knjiga

binding.

14.67 €

(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA

/

Mehka

11.05 €

Chen Chie-Jen MUSEO NACIONAL CENTRO DE ARTE REINA SOFíA

/

Mehka

13.06 €

Die Rechtfertigung Der Tabaksteuer Tillman Kempf

/

Mehka

77.53 €

Flow Mihaly Csikszentmihalyi

/

Mehka

14.47 €

Gerichtliche Schriftvergleichung Lothar Michel

/

Trda

123.70 €

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

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

Food Quality Analysis Sivanandham Vignesh

/

Trda

188.97 €

Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy

/

Mehka

212.71 €

Practice Makes Perfect: Basic Italian, Premium Third Edition Visconti

/

Mehka

12.46 €

Food Policy Councils Nessa J. Richman

/

Mehka

57.22 €

Folate targeting Agnes F. Vandome

/

Mehka

96.58 €

On Location – Drawing the Outdoors Joachim Homann

/

Trda

38.11 €

Advances in Human Genetics 11 Harry Harris

/

Mehka

48.57 €

The Good Life: Lessons from the World's Longest Scientific Study of Happiness Marc Schulz

/

Trda

21.41 €

Challenging Mazes for Kids: 75 Full-Color Mazes Including Find-The-Item and 3-D Fun! Rockridge Press

/

Mehka

8.74 €

Historic Movie Theatres of West Virginia Kelli Shapiro

/

Mehka

17.49 €

Sins of the Fathers Judith Liebaert

/

Mehka

12.27 €

5 Disciplines Frances Pelzman

/

Trda

47.56 €

Pushkin's Heroines and the Life-Art Connection

/

Mehka

42.83 €

Linguistic and Philosophical Perspectives about Reference Lenny Clapp

/

Mehka

42.75 €

Chatbots and Human-Centered AI Asbjørn Følstad

/

Mehka

56.31 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Mehka

71.70 €

Modelling and Mining Networks Fan Chung Graham

/

Mehka

56.31 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Mehka

71.70 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Mehka

71.70 €

Rigorous State-Based Methods Fuyuki Ishikawa

/

Mehka

71.70 €

Theory and Practice of Electronic Governance Olayinka David-West

/

Mehka

72.61 €

Structural Information and Communication Complexity Chryssis Georgiou

/

Mehka

71.70 €

Intelligent Human Computer Interaction Anshuman Shastri

/

Mehka

63.96 €

Intelligent Human Computer Interaction Anshuman Shastri

/

Mehka

79.44 €

Knjižni svetovalec Libroamiko

Pozdravljeni, sem Libroamiko, vam lahko pomagam?