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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Sprache

Englisch

Buch Broschur

Libristo-Code: 16013577

Verlag Springer International Publishing AG, April 2017

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

Libristo-Code: 16013577

122 b

50.64 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

AULA AMIGOS INTERNACIONAL 2 – GUIA DIDÁCTICA J. A. Ayllón

Buch

31.29 €

My Hero Academia 10 Moje hrdinská akademie Kóhei Horikoši

Broschur

8.60 €

Jews and Christians in Medieval Europe: The Historiographical Legacy of Bernhard Blumenkranz Philippe Buc

Broschur

127.33 €

Unterleibsbruche Ernst Graser

Broschur

35.75 €

Sedm pohádek Antonína Langweila Kateřina Bečková

Blatt

12.55 €

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Broschur

46.29 €

NOCIONES JURIDICAS DE EMPRESA LOPEZ DIAZ

Buch

39.80 €

Nanopartículas de plata con curcumina: Una estrategia eficaz para el tratamiento del cáncer Ashish Garg

Broschur

32.10 €

El hombre que pudo ser libre Javier Zuloaga

Broschur

24.61 €

Premonicions Emili Bayo

Broschur

15.39 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Broschur

15.19 €

Nouvelle Bibliotheque Des Voyages, Ou Choix Des Voyages Les Plus Interessans Tome 84 SANS AUTEUR

Broschur

20.25 €

La rentabilidad de las acciones de capital del sector construcción Edwin Jhon Aquise Dueñas

Broschur

55.20 €

Cosmo più servizi. Divagazioni su artisti, diorami, cimiteri e vecchie zie rimaste signorine Antonio Riccardi

Broschur

18.12 €

Leggenda privata Michele Mari

Broschur

13.87 €

Bienheureuse Staritsa Matrona Sofia Buch

Broschur

8.80 €

Forcenés Bordas

Broschur

12.45 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Broschur

32.10 €

Mozart-Collection Baltisches Festival Orchester

Audio CD

8.80 €

Traite de Confiture Ou Le Nouveau Et Parfait Confiturier (Ed.1689) Sans Auteur

Broschur

28.05 €

Angst und Macht Rainer Mausfeld

Broschur

13.67 €

traumatischen Neurosen Hermann Oppenheim

Broschur

25.62 €

SIRT FOOD IBON GARCIA DE MIGUEL

Broschur

17.92 €

Instructions Chrestiennes Sur Les Mysteres de Nostre Seigneur Jesus-Christ. Tome 4 SINGLIN-A

Broschur

47.81 €

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 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 courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. 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 2017

Anzahl der Seiten 259

EAN 9783319568409

ISBN 331956840X

Libristo-Code 16013577

Verlag Springer International Publishing AG

Gewicht 4219

Abmessungen 155 x 235 x 15

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