Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Formal Methods and Software Engineering

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Yi Li
Libristo-Code: 44230896
Verlag Springer, Berlin, November 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Vollständige Beschreibung
? points 171 b
69.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods and Software Engineering
Autor Yi Li, Sofiène Tahar
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2023
Anzahl der Seiten 282
EAN 9789819975839
Libristo-Code 44230896
Verlag Springer, Berlin
Gewicht 467
Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Enlightenment Behind Bars Theresa Crabtree / Buch Broschur
common.buy 21.99 €
Early Concepts of Military Aviation The Office of Air Force History / Buch Broschur
common.buy 21.89 €
Thunder On the Sea: A Tim Phillips novel Richard Testrake / Buch Broschur
common.buy 11.59 €
Third Revolution Elizabeth Economy / Buch Hardcover
common.buy 25.79 €
The Entrepreneur's Trap: How to Stop Working Too Much, Take Back Your Time and Enjoy Life Tina Forsyth / Buch Broschur
common.buy 20.09 €
English Marathi Practice Alphabet ABCD letters with Cartoon Pictures: कार्टून चित्&# Betty Hill / Buch Broschur
common.buy 10.69 €
52 Reasons Why I Love You: Lovely Valentines Day Gift for Him with 52 Reasons for Your Love, Fill in Empty Spaces Wonsky Publishing / Buch Broschur
common.buy 8.79 €
Coloring Book: Let's Cure Cancer Together Aki Ashe / Buch Broschur
common.buy 20.09 €
The Snowshoe Trail (1921) Edison Marshall / Buch Broschur
common.buy 33.69 €
Scottish Secondary Mathematics Red 3 Student Book Tom Sanaghan / Buch Broschur
common.buy 55.79 €
History of Central Asia Anne Davison / Buch Broschur
common.buy 9.79 €
Brief History of the World Harry Sadd / E-Book Adobe ePub DRM
common.buy 4.79 €
OpenShift Multi-Cluster Management Handbook Rafael Pecora / Buch Broschur
common.buy 47.49 €
The Book of Lost Hours GELFUSO HAYLEY / Buch Hardcover
common.buy 24.29 €
Top
The End of the World as We Know It Brian Keene / Buch Hardcover
common.buy 44.09 €
HANDBOOK OF NATURAL PHILOSOPHY, VOLUME 3 DIONYSIUS LARDNER / Buch Hardcover
common.buy 44.79 €
Stochastic Population Models James H. Matis / Buch Broschur
common.buy 107.29 €
Massif des Bauges, Parc naturel régional / Drucksachen Karte
common.buy 13.29 €
Labour-Market Flexibility and Individual Careers Simone R. Kirpal / Buch Hardcover
common.buy 107.29 €
Collaborative Design for Embedded Systems John Fitzgerald / Buch Hardcover
common.buy 53.79 €
Learning to be Literate Margaret M Clark / Buch Broschur
common.buy 51.09 €
My Weird School Daze #6: Mrs. Jafee Is Daffy! Dan Gutman / Buch Broschur
common.buy 6.59 €
Encyclopedia of Sexually Transmitted Diseases Lisa Marie Moore / Buch Broschur
common.buy 81.49 €
Advances in Medicine & Biology Leon V Berhardt / Buch Hardcover
common.buy 278.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?