Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
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 €
phone Kontakt phoneWie einkaufen
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Engineering Trustworthy Software Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Engineering Trustworthy Software Systems Zhiming Liu
Libristo-Code: 33036553
Verlag Springer Nature Switzerland AG, August 2020
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustw... Vollständige Beschreibung
? points 129 b
52.69 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K - A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.

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 Engineering Trustworthy Software Systems
Autor Zhiming Liu, Zili Zhang
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2020
Anzahl der Seiten 221
EAN 9783030550882
ISBN 3030550885
Libristo-Code 33036553
Verlag Springer Nature Switzerland AG
Gewicht 373
Abmessungen 155 x 235 x 14

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
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

Anmeldung

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

 
obligatorisch
obligatorisch
Passwort vergessen

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