Status der Bestellung anzeigen

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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Sprache

Englisch

Buch Broschur

Libristo-Code: 20306768

Verlag Springer Nature Switzerland AG, November 2018

This volume contains a record of some of the lectures and seminars delivered at the Third Internatio... Vollständige Beschreibung

Libristo-Code: 20306768

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Theorie Der Bodensenkungen in Kohlengebieten Mit Besonderer Ber cksichtigung Der Eisenbahnsenkungen Des Ostrau-Karwiner Steinkohlenrevieres A.H. Goldreich

Broschur

55.29 €

Establecimientos de Prostitucion en Bogota José Mario Mayorga Henao

Broschur

36.49 €

Yenilenebilir Enerjide Mevzuat Sorunlar_na Yönelik Arast_rma Bilgen Özcan

Broschur

60.59 €

Lieder für Gott und die Welt Dagmar Lay D.

Audio CD

18.29 €

Jetzt seid Ihr dran! Unternehmensnachfolge richtig steuern Christian Huber

Broschur

64.79 €

Georges Dumézil Droit

Broschur

20.39 €

Antibióticos en odontopediatría Shalu Verma

Broschur

56.79 €

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

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 Engineering Trustworthy Software Systems

Autor Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 219

EAN 9783030029272

ISBN 9783030029272

Libristo-Code 20306768

Verlag Springer Nature Switzerland AG

Gewicht 373

Abmessungen 155 x 235 x 14

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

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