LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 GLS-Kurier 4.99 GLS-Kurier 4.99 DPD-Kurier 3.99 DPD-Stelle 2.99

Software Engineering and Formal Methods

Sprache EnglischEnglisch
Buch Broschur
Buch Software Engineering and Formal Methods Elena Gómez-Martínez
Libristo-Code: 49776475
Verlag Springer-Verlag GmbH, Dezember 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Vollständige Beschreibung
? points 195 b
79.49 inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


Капітан Кук. Книга друга Євгенія Чемерис / Buch Broschur
common.buy 15.89
Lulu & Bo toben im Herbstlaub Outi Kaden / Buch Hardcover
common.buy 10.00
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Buch Broschur
common.buy 13.19
Etazhi Molchat Doma / Audio Audio CD
common.buy 19.39
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Buch Broschur
common.buy 9.59
La Fiesta de las Frutas Doris Alvarez / Buch Broschur
common.buy 9.89
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Buch Broschur
common.buy 82.89

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10 14, 2025.

The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal 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 Software Engineering and Formal Methods
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2025
Anzahl der Seiten 261
EAN 9783032104434
ISBN 3032104432
Libristo-Code 49776475
Gewicht 458
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


Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Buch Broschur
common.buy 10.69
English Air D.E. Stevenson / Buch Broschur
common.buy 14.99
Wotan's Daughter Richard Davis / Buch Broschur
common.buy 33.79
RoseNote Jane Smith / Buch Broschur
common.buy 6.79
We Were Made for Each Other! Jiu Er / Buch Hardcover
common.buy 14.99
Some Traditional plant extracts Salah El-Din Mohamed Labib / Buch Broschur
common.buy 85.59
Half-Hours with the Stars Richard Anthony Proctor / Buch Broschur
common.buy 12.29
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Buch Broschur
common.buy 192.99
Story of Vermont Stephen C. Trombulak / Buch Broschur
common.buy 24.19
Hepatobiliary System W. Taylor / Buch Broschur
common.buy 53.79
Keys to Successful Fasting Dr Rosetta Stamp / Buch Broschur
common.buy 16.39

Anmeldung

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

 
obligatorisch
obligatorisch

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?