Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
Sprache
Englisch
Englisch
Buch
Broschur
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa...
Vollständige Beschreibung
Libristo-Code: 20392651
?
132 b
132 b
53.79
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
40.99
€
/
Broschur
57.69
€
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
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
Verified Software. Theories, Tools, and Experiments
Autor
Ruzica Piskac, Philipp Rümmer
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2018
Anzahl der Seiten
345
EAN
9783030035914
Libristo-Code
20392651
Gewicht
557
Abmessungen
155 x 235 x 20
Kategorie
EDV und Informationstechnologie
>
Informatik
>
Künstliche Intelligenz
>
Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
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
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?