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
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Yi Li
Libristo kód: 44230896
Nakladatelství Springer, Berlin, listopad 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Celý popis
? points 154 b
1 535 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Custo Barcelona (prov.) DALMAU / Kniha Brožovaná
common.buy 468 Kč
Zebra 1 / Kniha List
common.buy 637 Kč
En finir avec Pasteur 6e édition - Plus d'un siècle de mystification scientifique Ancelet / Kniha Brožovaná
common.buy 888 Kč
Handbuch der Psychiatrie Band 6 Gerald Caplan / Kniha Brožovaná
common.buy 2 126 Kč
Décadence und Visualität in drei Romanen Paul Leppins: Daniel Jesus, Severins Gang in die Finsternis und Blaugast Constanze Derham / Kniha Brožovaná
common.buy 702 Kč
K-popowe łowczynie demonów. Nieoficjalna księga zadań Lila Violet / Kniha Brožovaná
common.buy 196 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, Sofiène Tahar
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2023
Počet stran 282
EAN 9789819975839
Libristo kód 44230896
Nakladatelství Springer, Berlin
Váha 467
Rozměry 155 x 235

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů
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

Enlightenment Behind Bars Theresa Crabtree / Kniha Brožovaná
common.buy 485 Kč
Early Concepts of Military Aviation The Office of Air Force History / Kniha Brožovaná
common.buy 485 Kč
Thunder On the Sea: A Tim Phillips novel Richard Testrake / Kniha Brožovaná
common.buy 258 Kč
Third Revolution Elizabeth Economy / Kniha Pevná
common.buy 558 Kč
The Entrepreneur's Trap: How to Stop Working Too Much, Take Back Your Time and Enjoy Life Tina Forsyth / Kniha Brožovaná
common.buy 444 Kč
English Marathi Practice Alphabet ABCD letters with Cartoon Pictures: कार्टून चित्&# Betty Hill / Kniha Brožovaná
common.buy 237 Kč
52 Reasons Why I Love You: Lovely Valentines Day Gift for Him with 52 Reasons for Your Love, Fill in Empty Spaces Wonsky Publishing / Kniha Brožovaná
common.buy 194 Kč
Coloring Book: Let's Cure Cancer Together Aki Ashe / Kniha Brožovaná
common.buy 445 Kč
The Snowshoe Trail (1921) Edison Marshall / Kniha Brožovaná
common.buy 750 Kč
Scottish Secondary Mathematics Red 3 Student Book Tom Sanaghan / Kniha Brožovaná
common.buy 1 241 Kč
History of Central Asia Anne Davison / Kniha Brožovaná
common.buy 217 Kč
Brief History of the World Harry Sadd / E-kniha Adobe ePub DRM
common.buy 111 Kč
OpenShift Multi-Cluster Management Handbook Rafael Pecora / Kniha Brožovaná
common.buy 1 002 Kč
The Book of Lost Hours GELFUSO HAYLEY / Kniha Pevná
common.buy 490 Kč
Top
The End of the World as We Know It Brian Keene / Kniha Pevná
common.buy 991 Kč
HANDBOOK OF NATURAL PHILOSOPHY, VOLUME 3 DIONYSIUS LARDNER / Kniha Pevná
common.buy 1 001 Kč
Stochastic Population Models James H. Matis / Kniha Brožovaná
common.buy 2 357 Kč
Massif des Bauges, Parc naturel régional / Tiskovina Mapa
common.buy 310 Kč
Labour-Market Flexibility and Individual Careers Simone R. Kirpal / Kniha Pevná
common.buy 2 357 Kč
Collaborative Design for Embedded Systems John Fitzgerald / Kniha Pevná
common.buy 1 182 Kč
Learning to be Literate Margaret M Clark / Kniha Brožovaná
common.buy 1 131 Kč
My Weird School Daze #6: Mrs. Jafee Is Daffy! Dan Gutman / Kniha Brožovaná
common.buy 142 Kč
Encyclopedia of Sexually Transmitted Diseases Lisa Marie Moore / Kniha Brožovaná
common.buy 1 723 Kč
Advances in Medicine & Biology Leon V Berhardt / Kniha Pevná
common.buy 6 103 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?