Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods and Software Engineering

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods and Software Engineering Yi Li
Koda Libristo: 44230896
Založba Springer, Berlin, november 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Celoten opis
? points 153 b
63.49 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Custo Barcelona (prov.) DALMAU / Knjiga Mehka
common.buy 17.41 €
Zebra 1 / Knjiga Preglednica
common.buy 26.32 €
En finir avec Pasteur 6e édition - Plus d'un siècle de mystification scientifique Ancelet / Knjiga Mehka
common.buy 33.51 €
Handbuch der Psychiatrie Band 6 Gerald Caplan / Knjiga Mehka
common.buy 88.00 €
Décadence und Visualität in drei Romanen Paul Leppins: Daniel Jesus, Severins Gang in die Finsternis und Blaugast Constanze Derham / Knjiga Mehka
common.buy 26.02 €
K-popowe łowczynie demonów. Nieoficjalna księga zadań Lila Violet / Knjiga Mehka
common.buy 7.08 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods and Software Engineering
Avtor Yi Li, Sofiène Tahar
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2023
Število strani 282
EAN 9789819975839
Koda Libristo 44230896
Založba Springer, Berlin
Teža 467
Mere 155 x 235

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation
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

Enlightenment Behind Bars Theresa Crabtree / Knjiga Mehka
common.buy 20.04 €
Early Concepts of Military Aviation The Office of Air Force History / Knjiga Mehka
common.buy 20.04 €
Thunder On the Sea: A Tim Phillips novel Richard Testrake / Knjiga Mehka
common.buy 10.62 €
Third Revolution Elizabeth Economy / Knjiga Trda
common.buy 23.08 €
The Entrepreneur's Trap: How to Stop Working Too Much, Take Back Your Time and Enjoy Life Tina Forsyth / Knjiga Mehka
common.buy 18.32 €
English Marathi Practice Alphabet ABCD letters with Cartoon Pictures: कार्टून चित्&# Betty Hill / Knjiga Mehka
common.buy 9.81 €
52 Reasons Why I Love You: Lovely Valentines Day Gift for Him with 52 Reasons for Your Love, Fill in Empty Spaces Wonsky Publishing / Knjiga Mehka
common.buy 7.99 €
Coloring Book: Let's Cure Cancer Together Aki Ashe / Knjiga Mehka
common.buy 18.42 €
The Snowshoe Trail (1921) Edison Marshall / Knjiga Mehka
common.buy 30.98 €
Scottish Secondary Mathematics Red 3 Student Book Tom Sanaghan / Knjiga Mehka
common.buy 51.34 €
History of Central Asia Anne Davison / Knjiga Mehka
common.buy 9.00 €
Brief History of the World Harry Sadd / E-knjiga Adobe ePub DRM
common.buy 4.04 €
OpenShift Multi-Cluster Management Handbook Rafael Pecora / Knjiga Mehka
common.buy 43.64 €
The Book of Lost Hours GELFUSO HAYLEY / Knjiga Trda
common.buy 21.77 €
Top
The End of the World as We Know It Brian Keene / Knjiga Trda
common.buy 41.01 €
HANDBOOK OF NATURAL PHILOSOPHY, VOLUME 3 DIONYSIUS LARDNER / Knjiga Trda
common.buy 41.41 €
Stochastic Population Models James H. Matis / Knjiga Mehka
common.buy 97.53 €
Massif des Bauges, Parc naturel régional / Tiskani izdelki Zemljevid
common.buy 11.43 €
Labour-Market Flexibility and Individual Careers Simone R. Kirpal / Knjiga Trda
common.buy 97.53 €
Collaborative Design for Embedded Systems John Fitzgerald / Knjiga Trda
common.buy 48.91 €
Learning to be Literate Margaret M Clark / Knjiga Mehka
common.buy 46.78 €
My Weird School Daze #6: Mrs. Jafee Is Daffy! Dan Gutman / Knjiga Mehka
common.buy 5.86 €
Encyclopedia of Sexually Transmitted Diseases Lisa Marie Moore / Knjiga Mehka
common.buy 75.04 €
Advances in Medicine & Biology Leon V Berhardt / Knjiga Trda
common.buy 252.59 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?