Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 €
Elta-Stelle 3.99 €
Elta 4.49 €
ACS 4.99 €
ACS-Stelle 4.99 €
Box Now 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DHL-Kurier 9.99 €
Elta-Stelle 3.99 €
Elta 4.49 €
ACS 4.99 €
ACS-Stelle 4.99 €
Box Now 3.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Wir sind für Sie da!
210 2602819
Mein Konto
▸
Leer :-(
0
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Sprache
Englisch
Englisch
E-Book
Adobe ePub DRM
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Form...
Vollständige Beschreibung
Libristo-Code: 50060529
?
210 b
210 b
86.57
€
Verfügbar
Sofort herunterladbar
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
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
Etienne Andre, Jingyi Wang, Naijun Zhan
Sprache
Englisch
Englisch
Einband
E-Book - Adobe ePub DRM
Datum der Veröffentlichung
2025
EAN
9789819542130
Libristo-Code
50060529
Verlag
Springer
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
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?