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 and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Jazyk AngličtinaAngličtina
E-kniha Adobe ePub DRM
Nakladatelství Springer, listopad 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Celý popis
? points 180 b
1 797 Kč
Skladem Ihned ke stažení

Zákazníci také koupili

Atlan 48: Die Insel des dunklen Mondes Hans Kneifel / E-kniha Adobe ePub DRM
common.buy 40 Kč
Cuentos de Velorio Javier Herrera Palma / Kniha Brožovaná
common.buy 359 Kč
Licht - Metapher der Erkenntnis Maria Nuhlen / E-kniha Adobe ePub DRM
common.buy 980 Kč
LA PIETRA RIFIUTATA S. G Treasure / Kniha Brožovaná
common.buy 297 Kč
Homem-Urso Escoces: Um Negocio Perigoso Lorelei Moone / E-kniha Adobe ePub DRM
common.buy 67 Kč
JUGAR CON FUEGO + CD PINILLA Kniha Kniha
common.buy 295 Kč
Système solaire et planètes Levasseur-Regourd / Kniha Brožovaná
common.buy 859 Kč
Oeuvres Completes de L'Abb Proyart Lievain Bonaventure Proyart / Kniha Brožovaná
common.buy 598 Kč
Mucho Más Que Un Club de Chicas (El Club de Los Corazones Solitarios #2) / We Can Work It Out (the Lonely Hearts Club, Book 2) Elizabeth Eulberg / Kniha Brožovaná
common.buy 339 Kč
VIVI Felice-Cembalosonaten Diego Ares / Audio Audio CD
common.buy 583 Kč
Chemin Faisant...La Vie Nicole Bandelier / Kniha Brožovaná
common.buy 636 Kč
Mes Memoires. T. 7 (Ed.1863-1884) Alexandre Dumas / Kniha Brožovaná
common.buy 554 Kč
Auswirkungen des demographischen Wandels auf die Gesetzliche Krankenversicherung Natalie Philips / Kniha Brožovaná
common.buy 369 Kč

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

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 and Software Engineering
Autor Yi Li, Sofiene Tahar
Jazyk Angličtina
Vazba E-kniha - Adobe ePub DRM
Datum vydání 2023
EAN 9789819975846
Libristo kód 45081938
Nakladatelství Springer

Kategorie

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í > Programovací a skriptovací jazyky: obecně
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 > Informační technologie: obecná témata
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

Business Ethics and Critical Consultant Jokes Onno Bouwmeester / E-kniha Adobe ePub DRM
common.buy 107 Kč
Indiana 3rd Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Kniha Brožovaná
common.buy 444 Kč
Revisiting Austria Gundolf Graml / E-kniha Adobe ePub DRM
common.buy 652 Kč
Rolfing and Physical Reality Ida P. Rolf / E-kniha Adobe ePub DRM
common.buy 314 Kč
Festivals and the Cultural Public Sphere Gerard Delanty / E-kniha Adobe ePub DRM
common.buy 1 745 Kč
Love Hurts Lodro Rinzler / E-kniha Adobe ePub DRM
common.buy 298 Kč
EBOOK: The Pocketbook Guide to Mental Capacity Act Assessments Claire Barcham / E-kniha Adobe ePub DRM
common.buy 849 Kč
Inspire English International Year 8 Teacher Guide David Grant / Kniha Kroužková
common.buy 2 553 Kč
Cooperative Control of Multi-Agent Systems Chunyan Wang / Kniha Brožovaná
common.buy 4 759 Kč
Looking Back, Facing Forward EDNA HARDAMAN / Kniha Pevná
common.buy 583 Kč
Come Out of the Kitchen! Alice Duer Miller / Audiokniha MP3
common.buy 1 230 Kč
Cruising the Worcester & Birmingham Canal (with one eye on its history) Mr John Todd / Kniha Brožovaná
common.buy 268 Kč
Kids Cooking: Students Prepare and Eat Foods from Around the World George Ancona / Kniha Pevná
common.buy 317 Kč
Algal Biorefineries Rakesh K. Bajpai / Kniha Brožovaná
common.buy 3 532 Kč
Nerve Physiology and Trigeminal Nerve Kanwaldeep Soodan / Kniha Brožovaná
common.buy 1 014 Kč
Poetical Works Henry Taylor / Kniha Pevná
common.buy 772 Kč
Good Nature Kathy Willis / E-kniha Adobe ePub DRM
common.buy 273 Kč
James Swinnerton's Canyon Country Kiddies James Guilford Swinnerton / Kniha Brožovaná
common.buy 539 Kč
Biggles in France Captain W. E. Johns / E-kniha Adobe ePub DRM
common.buy 66 Kč
Functional Programming in Javascript Luis Atencio / Kniha Brožovaná
common.buy 1 121 Kč
Differentiated Instruction Ervin F. Sparapani / Kniha Brožovaná
common.buy 1 307 Kč
Heterodox Economics Andrew Trigg / E-kniha Adobe ePub DRM
common.buy 622 Kč
Neuropsychoanalysis in practice Georg Northoff / Kniha Pevná
common.buy 3 212 Kč
Development at the WTO Sonia E. Rolland / Kniha Brožovaná
common.buy 1 738 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?