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 €
Box Now 3.99 €
ACS-Stelle 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DHL-Kurier 9.99 €
Elta-Stelle 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
ACS-Stelle 3.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Wir sind für Sie da!
210 2602819
Mein Konto
▸
Leer :-(
0
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Sprache
Englisch
Englisch
E-Book
Adobe ePub DRM
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Fo...
Vollständige Beschreibung
Libristo-Code: 41003190
?
148 b
148 b
61.09
€
Verfügbar
Sofort herunterladbar
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "e;journal-first"e; papers.
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
Integrated Formal Methods
Sprache
Englisch
Englisch
Einband
E-Book - Adobe ePub DRM
Datum der Veröffentlichung
2019
EAN
9783030349684
Libristo-Code
41003190
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?