Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Integrated Formal Methods
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo...
Vollständige Beschreibung
Libristo-Code: 33397354
?
125 b
125 b
50.99
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
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
Autor
Brijesh Dongol
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2020
Anzahl der Seiten
461
EAN
9783030634605
ISBN
3030634604
Libristo-Code
33397354
Gewicht
724
Abmessungen
155 x 235 x 26
Kategorie
EDV und Informationstechnologie
>
Informatik
>
Künstliche Intelligenz
>
Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie
>
Informatik
>
Künstliche Intelligenz
>
Natürliche Sprachen und maschinelle Übersetzung
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Algorithmen und Datenstrukturen
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 geliefertDas könnte Sie auch interessieren
/
Broschur
15.19
€
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?