Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods Teaching

Name: Formal Methods Teaching
Brand: Springer
SKU: 53676285
Price: 67.28 EUR
Availability: InStock
Author: Catherine Dubois
ISBN: 9783031275340

5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Catherine Dubois

Pierluigi San Pietro

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladateľstvo Springer, marec 2023

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching,... Celý popis

Libristo kód: 53676285

162 b

67.28 €

Skladom Ihneď na stiahnutie

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

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 Catherine Dubois, Pierluigi San Pietro

Jazyk

Angličtina

Väzba E-kniha - Adobe ePub DRM

Dátum vydania 2023

EAN 9783031275340

Libristo kód 53676285

Nakladateľstvo Springer

Séria Lecture Notes in Computer Science

Kategórie

Spoločnosť a spoločenské vedy > Sociológia a antropológia > Sociológia > Sociálny výskum a štatistika

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 > Informatika > Spracovanie zvuku

Výpočtové a informačné technológie > Informačné technológie: všeobecné témy

Výpočtové a informačné technológie > Obchodné aplikácie

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

Často hľadané

Categories

Authors

Publishers

Často hľadané

Tovar

Categories

Authors

Publishers

Doručenie

Nákupný poradca

Formal Methods Teaching

5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Informácie o knihe

Kategórie

Darujte túto knihu ešte dnes

Je to jednoduché

Často hľadané

Categories

Authors

Publishers

Formal Methods Teaching

5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Informácie o knihe

Kategórie

Darujte túto knihu ešte dnes

Je to jednoduché

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