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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.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

125 b

50.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Georges Dumézil Droit

Broschur

16.79 €

Où se cache Rosa L. Grisey

Broschur

21.69 €

Gramsciye Farkli Yaklasimlar Anne Showstack Sassoon

Broschur

13.99 €

Antibióticos en odontopediatría Shalu Verma

Broschur

53.69 €

Jetzt seid Ihr dran! Unternehmensnachfolge richtig steuern Christian Huber

Broschur

59.00 €

Lehr- und Übungsbuch Vesna Kosovac

Broschur

45.00 €

Logika wystarczy Stanislaw Michalkiewicz

Broschur

10.59 €

Contes de La Rose Pourpre Michel Faber

Broschur

7.19 €

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

Audio CD

17.49 €

Yenilenebilir Enerjide Mevzuat Sorunlar_na Yönelik Arast_rma Bilgen Özcan

Broschur

227.89 €

Fuhrer in die Grotten und Hoehlen von Sanct Canzian bei Triest FRIEDRICH M LLER

Broschur

16.90 €

Establecimientos de Prostitucion en Bogota José Mario Mayorga Henao

Broschur

34.49 €

Mit Virtuellen Unternehmen Zum Erfolg Nils Bickhoff

Broschur

37.99 €

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

Broschur

54.99 €

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