Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods and Software Engineering

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Yi Li
Codul Libristo: 44230896
Editura Springer, Berlin, noiembrie 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Descrierea completă
? points 171 b
371.45 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Custo Barcelona (prov.) DALMAU / Carte Carte broșată
common.buy 101.64 lei
Zebra 1 / Carte Foaie
common.buy 152.62 lei
En finir avec Pasteur 6e édition - Plus d'un siècle de mystification scientifique Ancelet / Carte Carte broșată
common.buy 192.76 lei
Handbuch der Psychiatrie Band 6 Gerald Caplan / Carte Carte broșată
common.buy 518.87 lei
Décadence und Visualität in drei Romanen Paul Leppins: Daniel Jesus, Severins Gang in die Finsternis und Blaugast Constanze Derham / Carte Carte broșată
common.buy 152.41 lei
K-popowe łowczynie demonów. Nieoficjalna księga zadań Lila Violet / Carte Carte broșată
common.buy 42.52 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods and Software Engineering
Autor Yi Li, Sofiène Tahar
Limba engleză
Legare Carte - Carte broșată
Data publicării 2023
Număr pagini 282
EAN 9789819975839
Codul Libristo 44230896
Editura Springer, Berlin
Greutatea 467
Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Enlightenment Behind Bars Theresa Crabtree / Carte Carte broșată
common.buy 116.76 lei
Early Concepts of Military Aviation The Office of Air Force History / Carte Carte broșată
common.buy 116.55 lei
Thunder On the Sea: A Tim Phillips novel Richard Testrake / Carte Carte broșată
common.buy 61.92 lei
Third Revolution Elizabeth Economy / Carte Copertă tare
common.buy 137.19 lei
The Entrepreneur's Trap: How to Stop Working Too Much, Take Back Your Time and Enjoy Life Tina Forsyth / Carte Carte broșată
common.buy 106.54 lei
English Marathi Practice Alphabet ABCD letters with Cartoon Pictures: कार्टून चित्&# Betty Hill / Carte Carte broșată
common.buy 57.12 lei
52 Reasons Why I Love You: Lovely Valentines Day Gift for Him with 52 Reasons for Your Love, Fill in Empty Spaces Wonsky Publishing / Carte Carte broșată
common.buy 46.70 lei
Coloring Book: Let's Cure Cancer Together Aki Ashe / Carte Carte broșată
common.buy 106.85 lei
The Snowshoe Trail (1921) Edison Marshall / Carte Carte broșată
common.buy 179.31 lei
Scottish Secondary Mathematics Red 3 Student Book Tom Sanaghan / Carte Carte broșată
common.buy 296.39 lei
History of Central Asia Anne Davison / Carte Carte broșată
common.buy 52.12 lei
Brief History of the World Harry Sadd / E-book Adobe ePub DRM
common.buy 24.07 lei
OpenShift Multi-Cluster Management Handbook Rafael Pecora / Carte Carte broșată
common.buy 252.50 lei
The Book of Lost Hours GELFUSO HAYLEY / Carte Copertă tare
common.buy 129.16 lei
Top
The End of the World as We Know It Brian Keene / Carte Copertă tare
common.buy 234.25 lei
HANDBOOK OF NATURAL PHILOSOPHY, VOLUME 3 DIONYSIUS LARDNER / Carte Copertă tare
common.buy 238.11 lei
Stochastic Population Models James H. Matis / Carte Carte broșată
common.buy 570.37 lei
Massif des Bauges, Parc naturel régional / Materiale tipărite Hartă
common.buy 67.34 lei
Labour-Market Flexibility and Individual Careers Simone R. Kirpal / Carte Copertă tare
common.buy 570.37 lei
Collaborative Design for Embedded Systems John Fitzgerald / Carte Copertă tare
common.buy 285.96 lei
Learning to be Literate Margaret M Clark / Carte Carte broșată
common.buy 271.37 lei
My Weird School Daze #6: Mrs. Jafee Is Daffy! Dan Gutman / Carte Carte broșată
common.buy 34.92 lei
Encyclopedia of Sexually Transmitted Diseases Lisa Marie Moore / Carte Carte broșată
common.buy 393.87 lei
Advances in Medicine & Biology Leon V Berhardt / Carte Copertă tare
common.buy 1 480.83 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?